Differential game logic for hybrid games

@techreport{Platzer12:dGL,
	ref = {DBLP:journals/tocl/Platzer15},
	author = {['André Platzer']},
	title = {Differential Game Logic for Hybrid Games},
	number = {CMU-CS-12-105},
	year = {2012},
	month = {March},
	institution = {School of Computer Science,
               Carnegie Mellon University},
	address = {Pittsburgh, PA},
	pdf = {http://reports-archive.adm.cs.cmu.edu/anon/2012/CMU-CS-12-105.pdf}
}