Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.
Christian EllenSebastian GerwinnMartin FränzlePublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- model checking
- continuous domains
- hybrid systems
- temporal logic
- discrete event
- evolutionary computation
- black box
- computational intelligence
- meta learning
- intelligent systems
- planning domains
- soft computing
- neural network
- reinforcement learning
- artificial intelligence
- dynamic systems
- evolution strategy
- genetic algorithm
- modal logic
- genetic programming
- situation calculus
- dynamical systems
- fitness function