Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems.

Andrew Sogokon, Paul B. Jackson

Browse the full FM paper archive.