Towards Verifying Robotic Systems Using Statistical Model Checking in STORM.

Marco Lampacrescia, Michaela Klauck, Matteo Palmas

Browse the full VECoS paper archive.