Formalising a Hazard Warning Communication Protocol with Timed Automata

DOI10.1007/978-3-319-63121-9_32zbMath1431.68011OpenAlexW2736335911MaRDI QIDQ5217317

Maike Schwammberger, Ernst-Ruediger Olderog

Publication date: 24 February 2020

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

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_32

zbMATH Keywords

timed automataautonomous carsmulti-dimensional spatial logichazard warningmulti-hop communication protocols

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Traffic problems in operations research (90B20) Network protocols (68M12)

Related Items (1)

An abstract model for proving safety of autonomous urban traffic

This page was built for publication: Formalising a Hazard Warning Communication Protocol with Timed Automata