Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems.
Ilya TkachevAlessandro AbatePublished in: HSCC (2013)
Keyphrases
- hybrid systems
- linear temporal logic
- discrete event
- intelligent systems
- model checking
- black box
- soft computing
- meta learning
- computational intelligence
- artificial intelligence
- neural network
- dynamic systems
- temporal databases
- temporal information
- temporal reasoning
- temporal constraints
- evolutionary computation
- test cases
- data mining