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