Autonomous Driving Systems (ADSs) are safety-critical systems, and safety violations of
Autonomous Vehicles (AVs) in real traffic will cause huge losses. Therefore, ADSs must be …

Autonomous Driving Systems (ADSs) are safety-critical, and must be fully tested before
being deployed on real-world roads. To comprehensively evaluate the performance of …

We consider the problem of predictive monitoring (PM), ie, predicting at runtime the
satisfaction of a desired property from the current system's state. Due to its relevance for …

This report presents the results from the 2022 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …

As a representative cyber-physical system (CPS), robotic manipulators have been widely
adopted in various academic research and industrial processes, indicating their potential to …

We propose a framework for security vulnerability analysis for Cyber-Physical Systems
(CPS). Our framework imposes only minimal assumptions on the structure of the CPS …

Requirements driven search-based testing (also known as falsification) has proven to be a
practical and effective method for discovering erroneous behaviors in Cyber-Physical …

Temporal logic is an important tool for specifying complex behaviors of systems. It can be
used to define properties for verification and monitoring, as well as goals for synthesis tools …

Automotive software development requires engineers to test their systems to detect
violations of both functional and drivability requirements. Functional requirements define the …

There are various applications of Cyber-Physical systems (CPSs) which are life-critical
where failure or malfunction can result in significant harm to human life, the environment, or …