Verifying Liveness in Supervised Systems Using UPPAAL and mCRL2.
Jasen MarkovskiMichel A. ReniersPublished in: ICT Innovations (2012)
Keyphrases
- model checking
- multiscale
- formal methods
- learning algorithm
- complex systems
- mobile robot
- active learning
- retrieval systems
- building blocks
- knowledge based systems
- distributed systems
- supervised learning
- neural network
- artificial neural networks
- pairwise
- search algorithm
- bayesian networks
- artificial intelligence
- data mining