Breach

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