CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
Federico MariEnrico TronciPublished in: HSCC (2007)
Keyphrases
- hybrid systems
- bounded model checking
- model checking
- formal verification
- black box
- temporal logic
- finite state
- intelligent systems
- soft computing
- computational intelligence
- discrete event
- linear temporal logic
- meta learning
- neural network
- artificial intelligence
- multi agent systems
- inductive learning
- dynamic systems
- software engineering
- object oriented
- artificial neural networks
- mathematical model
- orders of magnitude