Monitoring of Traffic Manoeuvres with Imprecise Information

Heinrich Ody

In monitoring, we algorithmically check if a single behavior satisfies a property. Here, we consider monitoring for Multi-Lane Spatial Logic (MLSL). The behavior is given as a fini…