Abstract With Multi-lane Spatial Logic (MLSL), we can prove safety (collision freedom) on
multi-lane motorways and country roads. In this work, we consider an extension of MLSL to …

When the number of automated vehicles (AVs) deployed in public traffic reaches a
significant level, their form of interaction with other AVs, human controlled vehicles and non …

In this paper, we propose a novel framework for the synthesis of robust and optimal energy-
aware controllers. The framework is based on energy timed automata, allowing for easy …

In this paper, we propose a novel framework for the synthesis of robust and optimal energy-
aware controllers. The framework is based on energy timed automata, allowing for easy …

CADS (cooperative autonomous driving systems) are software‐intensive and safety‐critical
reactive systems and give great promise to our daily life, but system errors may not be …

Autonomous driving vehicles are a kind of typical cyber-physical systems integrating
complex interactions between hardware and software components such as collaborative …

Collaborative and autonomous driving vehicles combine hardware and software complex
processes, also are heavily dependent on and influenced by the world of physical and cyber …

This paper is concerned with the refinement and control of a certain class of labelled
transition systems, called plant automata, via bisimulation quotients. Refinement means that …

The synthesis problem asks whether there exists an implementation for a given formal
specification and derives such an implementation if it exists. This approach enables …

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 finite …