Automated Driving Systems (ADS) have made great achievements in recent years thanks to
the efforts from both academia and industry. A typical ADS is composed of multiple modules …

Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …

In this paper, we consider the problem of formally verifying the safety of an autonomous
robot equipped with a Neural Network (NN) controller that processes LiDAR images to …

Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …

Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …

For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …

Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (eg,
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …

In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal
logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a …

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

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