dTL^2: Differential temporal dynamic logic with nested temporalities for hybrid systems

@inproceedings{DBLP:conf/cade/JeanninP14,
	pdf = {pub/dTL2.pdf},
	slides = {pub/dTL2-slides.pdf},
	author = {['Jean-Baptiste Jeannin', 'André Platzer']},
	title = {dTL$^2$: Differential Temporal Dynamic
               Logic with Nested Temporalities for
               Hybrid Systems},
	booktitle = {IJCAR},
	year = {2014},
	pages = {292-306},
	doi = {10.1007/978-3-319-08587-6_22},
	editor = {['Stéphane Demri', 'Deepak Kapur', 'Christoph Weidenbach']},
	longbooktitle = {Automated Reasoning - 7th International
               Joint Conference, IJCAR 2014, Held as Part
               of the Vienna Summer of Logic, VSL 2014,
               Vienna, Austria, July 19-22, 2014.
               Proceedings},
	publisher = {Springer},
	series = {LNCS},
	subseries = {LNAI},
	volume = {8562},
	isbn = {978-3-319-08586-9}
}