Stefan Mitsch, Jan-David Quesel, Andre Platzer,
"From Safety to Guilty and from Liveness to Niceness"
: 5th Workshop on Formal Methods for Robotics and Automation, 2014
Original Titel:
From Safety to Guilty and from Liveness to Niceness
Sprache des Titels:
Englisch
Original Buchtitel:
5th Workshop on Formal Methods for Robotics and Automation