Formal Modelling of Fault Tolerant Robotic Missions.

Manon Lecart, Elena Troubitsyna

Browse the full ICFEM paper archive.