Related references
Note: Only part of the references are listed.RoboChart: modelling and verification of the functional behaviour of robotic applications
Alvaro Miyazawa et al.
SOFTWARE AND SYSTEMS MODELING (2019)
A STORM is Coming: A Modern Probabilistic Model Checker
Christian Dehnert et al.
COMPUTER AIDED VERIFICATION (CAV 2017), PT II (2017)
A compositional modelling and analysis framework for stochastic hybrid systems
Ernst Moritz Hahn et al.
FORMAL METHODS IN SYSTEM DESIGN (2013)
A Finite-State Machine for Accommodating Unexpected Large Ground-Height Variations in Bipedal Robot Walking
Hae-Won Park et al.
IEEE TRANSACTIONS ON ROBOTICS (2013)
A Finite-State Machine for Collaborative Airlift with a Formation of Unmanned Air Vehicles
C. A. Rabbath
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (2013)
Toward a Fully Autonomous UAV Research Platform for Indoor and Outdoor Urban Search and Rescue
Teodor Tomic et al.
IEEE ROBOTICS & AUTOMATION MAGAZINE (2012)
Analysing robot swarm behaviour via probabilistic model checking
Savas Konur et al.
ROBOTICS AND AUTONOMOUS SYSTEMS (2012)
A game-based abstraction-refinement framework for Markov decision processes
Mark Kattenbelt et al.
FORMAL METHODS IN SYSTEM DESIGN (2010)
MODEST: A compositional modeling formalism for hard and softly timed systems
Henrik Bohnenkamp et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2006)
Performance analysis of probabilistic timed automata using digital clocks
Marta Kwiatkowska et al.
FORMAL METHODS IN SYSTEM DESIGN (2006)
On probabilistic timed automata
D Beauquier
THEORETICAL COMPUTER SCIENCE (2003)
Automatic verification of real-time systems with discrete probability distributions
M Kwiatkowska et al.
THEORETICAL COMPUTER SCIENCE (2002)