Spatial and timing properties in highway traffic

DOI10.1007/978-3-031-17715-6_9MaRDI QIDQ6164470

Ernst-Ruediger Olderog, Christopher Bischopink

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

timed automatadecidabilityspecificationsautonomous carsspatio-temporal reasoningMLSL

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Undecidability Results for Multi-Lane Spatial Logic
• Proving Safety of Traffic Manoeuvres on Country Roads
• An Abstract Model for Proving Safety of Autonomous Urban Traffic
• No Need Knowing Numerous Neighbours
• Safe and Optimal Adaptive Cruise Control
• Proof Theory of a Multi-Lane Spatial Logic

This page was built for publication: Spatial and timing properties in highway traffic