Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle.

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres

Browse the full IJCAI paper archive.