Runtime Verification of Timed Properties in Autonomous Robots.

Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand

Browse the full MEMOCODE paper archive.