HyLAA

swMATH20821MaRDI QIDQ32635FDOQ32635

Author name not available (Why is that?)

Source code repository: https://github.com/stanleybak/hylaa

Cited In (6)

• Lagrangian approximations for stochastic reachability of a target tube
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• 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
• Multi-agent Safety Verification Using Symmetry Transformations

This page was built for software: HyLAA