@book{platzer_2012, 
  title={Differential Game Logic for Hybrid Games}, 
  DOI={10.21236/ada561153}, 
  institution={Defense Technical Information Center}, 
  author={Platzer}, 
  year={2012}, 
  month={Mar}
  }