HYST
From MaRDI portal
Software:31959
swMATH20137MaRDI QIDQ31959FDOQ31959
Author name not available (Why is that?)
Cited In (6)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems
- Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
- Scalable Static Hybridization Methods for Analysis of Nonlinear Systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Reachability analysis for high-index linear differential algebraic equations
- Order-reduction abstractions for safety verification of high-dimensional linear systems
This page was built for software: HYST
