Statistical Model Checking for Stochastic Hybrid Systems
Alexandre DavidDehui DuKim G. LarsenAxel LegayMarius MikucionisDanny Bøgsted PoulsenSean SedwardsPublished in: HSB (2012)
Keyphrases
- model checking
- hybrid systems
- temporal logic
- discrete event
- model checker
- formal specification
- black box
- meta learning
- soft computing
- formal verification
- intelligent systems
- symbolic model checking
- neural network
- artificial intelligence
- computation tree logic
- verification method
- computational intelligence
- epistemic logic
- formal methods
- bounded model checking
- data mining
- dynamic systems
- service oriented
- dynamical systems
- alternating time temporal logic
- mathematical model
- petri net
- logic programs
- fuzzy logic
- multi agent systems
- machine learning