The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification.

Arnd Hartmanns Holger Hermanns

Published in: TACAS (2014)

Keyphrases

real time
mobile robot
complex environments
decision making
dynamic environments
qualitative and quantitative
autonomous robots
machine learning
genetic algorithm
artificial intelligence
multiscale
artificial neural networks
development process