HyLAA
From MaRDI portal
swMATH20821MaRDI QIDQ32635FDOQ32635
Author name not available (Why is that?)
Official website: https://github.com/stanleybak/hylaa
Source code repository: https://github.com/stanleybak/hylaa
Cited In (17)
- Multi-agent safety verification using symmetry transformations
- Lagrangian approximations for stochastic reachability of a target tube
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- HARE
- BACH
- HybridSal
- SynchAADL2Maude
- C2e2
- Flow*
- HYST
- HySon
- STRONG
- XSpeed
- CORA
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Extracting counterexamples induced by safety violation in linear hybrid systems
This page was built for software: HyLAA
