Quantitative automata model checking of autonomous stochastic hybrid systems.
Alessandro AbateJoost-Pieter KatoenAlexandru MereacrePublished in: HSCC (2011)
Keyphrases
- model checking
- hybrid systems
- finite state
- timed automata
- finite state machines
- discrete event
- temporal logic
- black box
- intelligent systems
- soft computing
- formal verification
- computational intelligence
- formal specification
- neural network
- meta learning
- model checker
- dynamic systems
- symbolic model checking
- verification method
- qualitative and quantitative
- artificial intelligence
- computation tree logic
- fuzzy logic
- cooperative
- simulation model
- formal methods
- rough sets
- artificial neural networks
- multi agent systems
- knowledge base