dReach
From MaRDI portal
Software:31986
No author found.
Related Items (25)
Introducing interval differential dynamic logic ⋮ Pegasus: sound continuous invariant generation ⋮ Decidability of the Reachability for a Family of Linear Vector Fields ⋮ Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems ⋮ An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems ⋮ Applying differential dynamic logic to reconfigurable biological networks ⋮ Efficient choice of parameters on delta-reachability bounded hybrid systems ⋮ Time-triggered conversion of guards for reachability analysis of hybrid automata ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans ⋮ Unnamed Item ⋮ Sapo ⋮ Formal verification of braking while swerving in automobiles ⋮ Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF ⋮ Reachability computation for polynomial dynamical systems ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ ROCS ⋮ Safe \& robust reachability analysis of hybrid systems ⋮ On checking equivalence of simulation scripts ⋮ Implementing hybrid semantics: from functional to imperative ⋮ Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Parameter synthesis of polynomial dynamical systems ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
This page was built for software: dReach
