swMATH20822MaRDI QIDQ32636FDOQ32636
Author name not available (Why is that?)
Official website: http://people.eecs.berkeley.edu/~donze/breach_page.html
Cited In (71)
- 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
- An STL-based formulation of resilience in cyber-physical systems
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Deadness and how to disprove liveness in hybrid dynamical systems
- Multi-agent safety verification using symmetry transformations
- ST-Lib
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Quantifying conformance using the Skorokhod metric
- Combining refinement and signal-temporal logic for biological systems
- Precise parameter synthesis for stochastic biochemical systems
- Model checking of biological systems
- System design of stochastic models using robustness of temporal properties
- A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
- Ariadne
- Using symmetry transformations in equivariant dynamical systems for their safety verification
- scyther
- S-TaLiRo
- d/dt
- TaLiRo
- HARE
- RoVerGeNe
- SpaceEx
- HybridSal
- SABRE
- Pyhybridanalysis
- RiTHM
- Title not available (Why is that?)
- Quantitative monitoring of STL with edit distance
- 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
- ERAN
- sitar
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Parameter synthesis of polynomial dynamical systems
- Localizing Faults in Simulink/Stateflow Models with STL
- Extracting counterexamples induced by safety violation in linear hybrid systems
- Formal analysis and offline monitoring of electronic exams
- Verisig
- Texada
- Kaa
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Reachability of weakly nonlinear systems using Carleman linearization
- S-TaLiRo: a tool for temporal logic falsification for hybrid systems
- Robust online monitoring of signal temporal logic
- Adaptive testing for specification coverage and refinement in CPS models
- Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
- Interface-aware signal temporal logic
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- Compositional falsification of cyber-physical systems with machine learning components
- Stochastic local search for falsification of hybrid systems
This page was built for software: Breach
