Verified Design of Robotic Autonomous Systems Using Probabilistic Model Checking.

Atef Azaiez, David A. Anisi

Browse the full MODELSWARD paper archive.