Verification of hybrid systems

@incollection{DBLP:reference/mc/DoyenFPP18,
	pdf = {pub/HBMC.pdf},
	author = {['Laurent Doyen', 'Goran Frehse', 'George J. Pappas', 'André Platzer']},
	title = {Verification of Hybrid Systems},
	booktitle = {Handbook of Model Checking},
	editor = {['Edmund M. Clarke', 'Thomas A. Henzinger', 'Helmut Veith', 'Roderick Bloem']},
	publisher = {Springer},
	year = {2018},
	pages = {1047-1110},
	doi = {10.1007/978-3-319-10575-8_30},
	address = {Cham}
}