Breach

swMATH20822MaRDI QIDQ32636FDOQ32636

Author name not available (Why is that?)

Cited In (32)

• 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
• Model Checking of Biological Systems
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• 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
• Quantifying conformance using the Skorokhod metric
• Combining refinement and signal-temporal logic for biological systems
• Precise parameter synthesis for stochastic biochemical systems
• System design of stochastic models using robustness of temporal properties
• A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems
• Title not available (Why is that?)
• Quantitative monitoring of STL with edit distance
• Sapo
• 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
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Multi-agent Safety Verification Using Symmetry Transformations
• Reachability of weakly nonlinear systems using Carleman linearization
• Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification
• 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
• Compositional falsification of cyber-physical systems with machine learning components

This page was built for software: Breach