"An Axiomatic Approach to Liveness for Differential Equations."

Yong Kiam Tan, André Platzer (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics