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

Journal:
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Published:
DOI:
10.1109/iros60139.2025.11245994
Affiliations:
1
Authors:
3
Go to article
Institutions Authors Share
Institut Polytechnique de Paris (IP Paris), France
3.000000
 1.00
Interested in Pure Mathematics?