Levente Molnar

According to our database, Levente Molnar authored at least 3 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

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

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

Proceedings of the IJCAI 2011, 2011

2009

Verification of autonomous underwater vehicles using formal logic.

Levente Molnar, Sandor M. Veres

Proceedings of the 10th European Control Conference, 2009

2007

Guidance, navigation and control system for the Tethra unmanned underwater vehicle.

Levente Molnar, Edin Omerdic, Daniel J. F. Toal

Int. J. Control, 2007