LySHA

swMATH20150MaRDI QIDQ31972FDOQ31972

Author name not available (Why is that?)

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
• Deadness and how to disprove liveness in hybrid dynamical systems
• Lyapunov abstractions for inevitability of hybrid systems
• Stabhyli

This page was built for software: LySHA