S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.
Yashwanth AnnpureddyChe LiuGeorgios FainekosSriram SankaranarayananPublished in: TACAS (2011)
Keyphrases
- temporal logic
- hybrid systems
- model checking
- formal specification language
- black box
- artificial intelligence
- meta learning
- neural network
- computational intelligence
- intelligent systems
- discrete event
- soft computing
- verification method
- data mining
- computation tree logic
- linear temporal logic
- machine learning
- dynamic systems
- belief revision
- learning experience
- particle filter
- database systems
- decision making