A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.

Lavindra de Silva, Rongjie Yan, Flix Ingrand, Rachid Alami, Saddek Bensalem

Browse the full HRI paper archive.