LySHA
From MaRDI portal
Software:31972
No author found.
Related Items (4)
Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Lyapunov abstractions for inevitability of hybrid systems ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
This page was built for software: LySHA
