7

Safety Guarantees for Drones through Set-Based Formal Verification Methods
We investigate approaches and algorithms for both offline and on-the-fly verification of low-level drone control algorithms. …
PDF Code Report (in French)
Safety Guarantees for Drones through Set-Based Formal Verification Methods
Human-Embedded Autonomous Flight Under Formal Task Specifications
We investigate Quadcopter autonomous navigation under formal task specifications in static or dynamic environments using …
PDF Code Video