"Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules."

Maike Schwammberger, Gleifer Vaz Alves (2021)

Details and statistics

DOI: 10.4204/EPTCS.348.1

access: open

type: Conference or Workshop Paper

metadata version: 2024-05-07

a service of  Schloss Dagstuhl - Leibniz Center for Informatics