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 and
               Andr{\'e} 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{\'e}phane Demri and
               Deepak Kapur and
               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},
}```