Verification of hybrid systems

@INCOLLECTION{DBLP:reference/mc/DoyenFPP18,
	pdf = {pub/HBMC.pdf},

  author    = {Laurent Doyen and
               Goran Frehse and
               George J. Pappas and
               Andr{\'e} Platzer},
  title     = {Verification of Hybrid Systems},
  booktitle = {Handbook of Model Checking},
  editor    = {Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem},
  publisher = {Springer},
  year      = {2018},
  pages     = {1047-1110},
  doi       = {10.1007/978-3-319-10575-8_30},
  address   = {Cham}
}```