Guidance, navigation and control system for the Tethra unmanned underwater vehicle. - Levente Molnar; Edin Omerdic; Daniel J. F. Toal (Int. J. Control, 2007)

Verification of autonomous underwater vehicles using formal logic. - Levente Molnar; Sandor M. Veres (ECC, 2009)

Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. - Jonathan Ezekiel; Alessio Lomuscio; Levente Molnar; Sandor M. Veres (IJCAI, 2011)