Enforcing Timing Properties in Motorway Traffic

Christopher Bischopink

In previous work, we proposed a Runtime Enforcement Approach to deal with timing properties in motorway traffic, which are present in form of Timed Multi-Lane Spatial Logic (TMLSL)…