TY  - RPRT
TI  - A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
AU  - Saddek Bensalem
AU  - Lavindra de Silva
AU  - Félix Ingrand
AU  - Rongjie Yan
PY  - 2013
UR  - https://arxiv.org/abs/1309.0442
ID  - 1309.0442
ER  -