"Non-linear Continuous Systems for Safety Verification."

Andrew Sogokon, Khalil Ghorbal, Taylor T. Johnson (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics