Combining machine learning and formal methods (FMs) provides a possible solution to
overcome the safety issue of autonomous driving (AD) vehicles. However, there are gaps to …

Energy-efficient motion planning for autonomous battery-powered vehicles is crucial to
increase safety and efficiency by avoiding frequent battery recharge. This paper proposes …

Time dependant models have been intensively studied for many reasons, among others
because of their applications in software verification and due to the development of …

Many software-intensive systems are expected to run continuously while their environments
change and their requirements evolve, so their implementation must be updated …

We describe a model-based construction of an online tester for black-box testing of the
implementation under test (IUT). The external behaviour of the IUT is modelled as an output …

Updates are becoming increasingly important in the field of cyber physical systems in order
to increase the lifetime of these systems and to save resources and costs. One way to …

The behavior of a distributed system may depend on real time flow (as opposed to
succession of events in discrete systems), because changes in the system may take some …

Cyber-physical systems (CPS) have become increasingly important in various domains,
including autonomous vehicles, healthcare, and water monitoring systems. These systems …

This paper describes the utility of using puzzles to teach formal methods and real-time
model checking. Puzzles allow us to teach model checking via finite games. The limitations …

A systerns evolvability is defined as the ability to withstand changes to its requirements.
environment and implementation technologies. The need fora greater system evolvability is …