Real-Time Guaranteed Monitoring for a Drone Using Interval Analysis and Signal Temporal Logic.

Antoine Besset, Julien Alexandre Dit Sandretto, Joris Tillet

Browse the full IROS paper archive.