Playing Hybrid Games with KeYmaera.

Jan-David Quesel, Andr Platzer

Browse the full CADE paper archive.