We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free. We express our contracts in Signal Temporal Logic (STL), a lightweight specification language that enables V &V methodologies. We demonstrate how the specification can be used for evaluation of the performance of autonomy software, and We provide preliminary evidence that our contracts are not excessively conservative, i.e., they are not more restrictive than existing guidelines for safe driving by humans.
Specifying Safety of Autonomous Vehicles in Signal Temporal Logic
2019-06-01
372658 byte
Conference paper
Electronic Resource
English
SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC
British Library Conference Proceedings | 2019
|British Library Conference Proceedings | 2023
|SAE Technical Papers | 2023
|SAFETY AND PERFORMANCE FOR LOGIC DESIGN IN AUTONOMOUS VEHICLES
European Patent Office | 2024
|