S-TaLiRo

swMATH9775MaRDI QIDQ21754FDOQ21754

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-19835-9_21

Cited In (31)

• DyverseRBT
• 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
• Predictive monitoring for signal temporal logic with probabilistic guarantees
• Falsification of temporal properties of hybrid systems using the cross-entropy method
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Quantifying conformance using the Skorokhod metric
• An automated system repair framework with signal temporal logic
• On checking equivalence of simulation scripts
• System design of stochastic models using robustness of temporal properties
• StateFlow
• Using symmetry transformations in equivariant dynamical systems for their safety verification
• AutoMOTGen
• CalCS
• Quantitative monitoring of STL with edit distance
• Sapo
• contractLarva
• Computing bounded reach sets from sampled simulation traces
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• Extracting counterexamples induced by safety violation in linear hybrid systems
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Solving reachability problems by a scalable constrained optimization method
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• Robust online monitoring of signal temporal logic
• 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: S-TaLiRo