FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
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 …
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
[PDF][PDF] Arch-comp 2022 category report: Falsification with ubounded resources
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 …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
Falsifying motion plans of autonomous vehicles with abstractly specified traffic scenarios
M Klischat, M Althoff - IEEE Transactions on Intelligent Vehicles, 2022 - ieeexplore.ieee.org
Verifying the safety of autonomous vehicles is one of the major challenges towards their
deployment on public roads due to the vast number of possible situations that can occur in …
deployment on public roads due to the vast number of possible situations that can occur in …
When cyber-physical systems meet AI: A benchmark, an evaluation, and a way forward
Cyber-Physical Systems (CPS) have been broadly deployed in safety-critical domains, such
as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence …
as automotive systems, avionics, medical devices, etc. In recent years, Artificial Intelligence …
Learning model checking and the kernel trick for signal temporal logic on stochastic processes
We introduce a similarity function on formulae of signal temporal logic (STL). It comes in the
form of a kernel function, well known in machine learning as a conceptually and …
form of a kernel function, well known in machine learning as a conceptually and …
Online reset for signal temporal logic monitoring
Online monitoring is a popular validation approach in which the temporal behavior of a
system is checked to assess whether it satisfies a given specification expressed, eg, in …
system is checked to assess whether it satisfies a given specification expressed, eg, in …
Falsification of multiple requirements for cyber-physical systems using online generative adversarial networks and multi-armed bandits
J Peltomäki, I Porres - 2022 IEEE International Conference on …, 2022 - ieeexplore.ieee.org
We consider the problem of falsifying safety requirements of Cyber-Physical Systems
expressed in signal temporal logic (STL). This problem can be turned into an optimization …
expressed in signal temporal logic (STL). This problem can be turned into an optimization …
Multi-requirement testing using focused falsification
Testing of Cyber-Physical Systems (CPS) deals with the problem of finding input traces to
the systems such that given requirements do not hold. Requirements can be formalized in …
the systems such that given requirements do not hold. Requirements can be formalized in …
A Robustness-Based Confidence Measure for Hybrid System Falsification
Verification of hybrid systems is very challenging, if not impossible, due to their continuous
dynamics that leads to infinite state space. As a countermeasure, falsification is usually …
dynamics that leads to infinite state space. As a countermeasure, falsification is usually …
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL
VS Prabhu, M Savaliya - … on Formal Methods and Models for …, 2022 - ieeexplore.ieee.org
In recent years black-box optimization based search testing for Signal Temporal Logic (STL)
specifications has been shown to be a promising approach for finding bugs in complex …
specifications has been shown to be a promising approach for finding bugs in complex …