[HTML][HTML] Survey on mining signal temporal logic specifications
Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …
time of their design and during their operation. Despite their importance, formal …
Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …
and biological systems monitored and/or controlled by an embedded computational core …
Simulation-based adversarial test generation for autonomous vehicles with machine learning components
Many organizations are developing autonomous driving systems, which are expected to be
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …
Formal scenario-based testing of autonomous vehicles: From simulation to the real world
We present a new approach to automated scenario-based testing of the safety of
autonomous vehicles, especially those using advanced artificial intelligence-based …
autonomous vehicles, especially those using advanced artificial intelligence-based …
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas - Theoretical Computer Science, 2009 - Elsevier
In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas
over signals that take values in metric spaces. For such signals, which are generated by …
over signals that take values in metric spaces. For such signals, which are generated by …
Temporal logic motion planning for dynamic robots
In this paper, we address the temporal logic motion planning problem for mobile robots that
are modeled by second order dynamics. Temporal logic specifications can capture the usual …
are modeled by second order dynamics. Temporal logic specifications can capture the usual …
Fly-by-logic: Control of multi-drone fleets with temporal logic objectives
The problem of safe planning and control for multi-drone systems across a variety of
missions is of critical importance, as the scope of tasks assigned to such systems increases …
missions is of critical importance, as the scope of tasks assigned to such systems increases …
Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach
Ever since the outbreak of the COVID-19 epidemic, various public health control strategies
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …
have been proposed and tested against the coronavirus SARS-CoV-2. We study three …
On-line monitoring for temporal logic robustness
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the
state robustness of Metric Temporal Logic specifications with past time operators. We …
state robustness of Metric Temporal Logic specifications with past time operators. We …
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
DJ Fremont, J Chiu, DD Margineantu… - … Aided Verification: 32nd …, 2020 - Springer
We demonstrate a unified approach to rigorous design of safety-critical autonomous systems
using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an …
using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an …