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é 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}
}