Breach
From MaRDI portal
Software:32636
No author found.
Related Items (32)
Multi-agent Safety Verification Using Symmetry Transformations ⋮ Combining refinement and signal-temporal logic for biological systems ⋮ 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 ⋮ Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Bounded invariant verification for time-delayed nonlinear networked dynamical systems ⋮ Model Checking of Biological Systems ⋮ Stochastic Local Search for Falsification of Hybrid Systems ⋮ Localizing Faults in Simulink/Stateflow Models with STL ⋮ Robust online monitoring of signal temporal logic ⋮ Formal analysis and offline monitoring of electronic exams ⋮ Quantitative monitoring of STL with edit distance ⋮ Precise parameter synthesis for stochastic biochemical systems ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Sapo ⋮ Quantifying conformance using the Skorokhod metric ⋮ Unnamed Item ⋮ 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) ⋮ Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems ⋮ Interface-aware signal temporal logic ⋮ 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 ⋮ Compositional falsification of cyber-physical systems with machine learning components ⋮ Parameter synthesis of polynomial dynamical systems ⋮ Survey on mining signal temporal logic specifications ⋮ System design of stochastic models using robustness of temporal properties ⋮ An STL-based formulation of resilience in cyber-physical systems ⋮ A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
This page was built for software: Breach
