Cited in
(71)- Robust online monitoring of signal temporal logic
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Extracting counterexamples induced by safety violation in linear hybrid systems
- 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
- ST-Lib
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Adaptive testing for specification coverage and refinement in CPS models
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
- Formal analysis and offline monitoring of electronic exams
- Interface-aware signal temporal logic
- Combining refinement and signal-temporal logic for biological systems
- Compositional falsification of cyber-physical systems with machine learning components
- Precise parameter synthesis for stochastic biochemical systems
- Multi-agent safety verification using symmetry transformations
- An STL-based formulation of resilience in cyber-physical systems
- Model checking of biological systems
- System design of stochastic models using robustness of temporal properties
- Ariadne
- scyther
- S-TaLiRo
- d/dt
- TaLiRo
- HARE
- RoVerGeNe
- SpaceEx
- HybridSal
- SABRE
- Pyhybridanalysis
- RiTHM
- C2e2
- dReach
- Flow*
- LySHA
- GRKLib
- Hybrid Trace Verifier
- Akiss
- HyLAA
- POMDPs.jl
- HLIO
- Sapo
- contractLarva
- ParetoImageSDP
- TIRA
- ParetoLib
- aaflib
- PyInterval
- BluSTL
- self-driving-car-sim
- AMT
- AdaptiveStressTesting.jl
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- ERAN
- sitar
- Parameter synthesis of polynomial dynamical systems
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- scientific article; zbMATH DE number 7471703 (Why is no real title available?)
- Verisig
- Texada
- Kaa
- Survey on mining signal temporal logic specifications
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Quantitative monitoring of STL with edit distance
- Reachability of weakly nonlinear systems using Carleman linearization
- Localizing Faults in Simulink/Stateflow Models with STL
- Deadness and how to disprove liveness in hybrid dynamical systems
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Stochastic local search for falsification of hybrid systems
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- Quantifying conformance using the Skorokhod metric
This page was built for software: Breach