S-TaLiRo - MaRDI portal

swMATH9775MaRDI QIDQ21754FDOQ21754

Author name not available (Why is that?)

Cited In (25)

Survey on mining signal temporal logic specifications
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
Predictive monitoring for signal temporal logic with probabilistic guarantees
Falsification of temporal properties of hybrid systems using the cross-entropy method
TeLEx: learning signal temporal logic from positive examples using tightness metric
Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
A survey of challenges for runtime verification from advanced application domains (beyond software)
Stochastic Local Search for Falsification of Hybrid Systems
Quantifying conformance using the Skorokhod metric
An automated system repair framework with signal temporal logic
On checking equivalence of simulation scripts
System design of stochastic models using robustness of temporal properties
Quantitative monitoring of STL with edit distance
Sapo
Computing bounded reach sets from sampled simulation traces
Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
Extracting counterexamples induced by safety violation in linear hybrid systems
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Solving reachability problems by a scalable constrained optimization method
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
Robust online monitoring of signal temporal logic
Interface-aware signal temporal logic
Compositional falsification of cyber-physical systems with machine learning components

This page was built for software: S-TaLiRo