HYTECH: A Model Checker for Hybrid Systems.
Thomas A. HenzingerPei-Hsin HoHoward Wong-ToiPublished in: CAV (1997)
Keyphrases
- hybrid systems
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- intelligent systems
- black box
- formal specification
- test suite
- soft computing
- neural network
- computational intelligence
- discrete event
- ai planning
- artificial intelligence
- set theory
- meta learning
- dynamic systems
- specification language
- data mining
- test cases
- artificial neural networks
- programming language
- knowledge based systems
- search strategies