@inproceedings{FBC+0,
title = { Runtime Verification of Timed Properties in Autonomous Robots },
author = {Foughali, Mohammed and Bensalem, Saddek and Combaz, Jacques and Ingrand, Felix},
year = {2020},
booktitle = {18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)},
pages = {to appear},
team = {RSD},
}
