Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL.

Maike Schwammberger

Published in: SCAV@CPSWeek (2018)

Keyphrases

lane change
traffic flow
controller synthesis
spatial data
spatio temporal
spatial information
model checking
spatial and temporal
spatial databases
modal logic
logic programming
multi valued
model checker
space time
spatial reasoning
reinforcement learning
geographic information systems
control system