No Need Knowing Numerous Neighbours

DOI10.1007/978-3-319-23506-6_11zbMath1444.68181OpenAlexW2245169300MaRDI QIDQ3449630

Heinrich Ody, Michael R. Hansen, Martin Fränzle

Publication date: 4 November 2015

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-23506-6_11

zbMATH Keywords

decidabilityreal-time decision makingspatial logichighly automated driving

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Traffic problems in operations research (90B20) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

An Abstract Model for Proving Safety of Autonomous Urban Traffic ⋮ Spatial and timing properties in highway traffic ⋮ An abstract model for proving safety of autonomous urban traffic

Uses Software

• Z

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• A calculus of durations
• Undecidability Results for Multi-Lane Spatial Logic
• Proving Safety of Traffic Manoeuvres on Country Roads
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Theoretical Aspects of Computing - ICTAC 2004
• Proof Theory of a Multi-Lane Spatial Logic

This page was built for publication: No Need Knowing Numerous Neighbours