LySHA

MaRDI QIDQ31972swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=2185632.2185652

Cited in

(5)

• An axiomatic approach to existence and liveness for differential equations
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Stabhyli
• Lyapunov abstractions for inevitability of hybrid systems
• Deadness and how to disprove liveness in hybrid dynamical systems

This page was built for software: LySHA