Félix Ingrand

Latest

• Hippo: A formal-model execution engine to control and verify critical real-time systems
• On the Semantics of the GenoM3 Framework
• Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
• Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots