Undecidability Results for Multi-Lane Spatial Logic

DOI10.1007/978-3-319-25150-9_24zbMath1471.03049OpenAlexW2240703591MaRDI QIDQ2787438

Heinrich Ody

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

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

zbMATH Keywords

undecidabilityrobustnessinterval logicspatial logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Traffic problems in operations research (90B20) Decidability of theories and sets of sentences (03B25)

Related Items (3)

No Need Knowing Numerous Neighbours ⋮ Spatial and timing properties in highway traffic ⋮ An abstract model for proving safety of autonomous urban traffic

This page was built for publication: Undecidability Results for Multi-Lane Spatial Logic