Plans
- Near term
- Design basic representations and analytical language
- Adapt HPKB web tools for editing ontologies and KB’s
- Recode and test TrenDx templates
- Longer term
- Extend representations, libraries, and tools
- Add templates specialized to challenge tasks
- Incorporate efficiency-improving mechanisms
- Explore compilation of monitors from specified model combinations