HYTECH: A Model Checker for Hybrid Systems.
Thomas A. HenzingerPei-Hsin HoHoward Wong-ToiPublished in: Int. J. Softw. Tools Technol. Transf. (1997)
Keyphrases
- hybrid systems
- model checker
- model checking
- formal methods
- formal verification
- description language
- temporal logic
- black box
- intelligent systems
- formal specification
- meta learning
- neural network
- soft computing
- computational intelligence
- test suite
- artificial intelligence
- discrete event
- set theory
- ai planning
- specification language
- test cases
- planning domains
- domain independent
- binary decision diagrams