A complete axiomatization for differential game logic for hybrid games

@TECHREPORT{Platzer13:dGL,
	slides = {pub/dGL-slides.pdf},
	ref = {DBLP:journals/tocl/Platzer15},

  author    = {Andr{\'e} Platzer},
  title     = {A Complete Axiomatization for Differential
               Game Logic for Hybrid Games},
  number    = {CMU-CS-13-100R},
  year      = {2013},
  month     = {January},
  institution = {School of Computer Science,
               Carnegie Mellon University},
  address   = {Pittsburgh, PA},
  note      = {Extended in revised version from July 2013},
  pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2013/CMU-CS-13-100R.pdf}
}```