Levente Molnar

1 paper in the IJCAI proceedings

IJCAI 2011

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

with Jonathan Ezekiel, Alessio Lomuscio, Sandor M. Veres

doi:10.5591/978-1-57735-516-8/IJCAI11-279

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings