"Bellerophon: Tactical Theorem Proving for Hybrid Systems."

Nathan Fulton et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics