Alessandro Armando;Peter Baumgartner;Gilles Dowek
-;-;-
Differential dynamic logics: automated theorem proving for hybrid systems