Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Sriram SankaranarayananThao DangFranjo IvancicPublished in: TACAS (2008)
Keyphrases
- hybrid systems
- symbolic model checking
- model checking
- partial observability
- intelligent systems
- formal verification
- black box
- computational intelligence
- soft computing
- meta learning
- artificial intelligence
- discrete event
- neural network
- binary decision diagrams
- symbolic representation
- model checker
- reinforcement learning
- planning domains
- simulation model
- orders of magnitude
- bayesian networks
- learning algorithm