Levente Molnar

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor M. Veres
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle. IJCAI (2011)
Levente Molnar, Sandor M. Veres
Verification of autonomous underwater vehicles using formal logic. ECC (2009)
Levente Molnar, Edin Omerdic, Daniel J. F. Toal
Guidance, navigation and control system for the Tethra unmanned underwater vehicle. Int. J. Control 80 (7) (2007)