Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Flix Ingrand, Anthony Mallet

Browse the full ICFEM paper archive.