research
∙
01/18/2021
Computer Aided Formal Design of Swarm Robotics Algorithms
Previous works on formally studying mobile robotic swarms consider neces...
share
research
∙
09/27/2019
Towards Coq-verified Esterel Semantics and Compiling
This paper focuses on semantics of the Esterel synchronous programming l...
research
∙
08/24/2019
