Differential Dynamic Logic for Hybrid Systems,” (2008)

by A Platzer
Venue:Journal of Automated Reasoning,