Differential dynamic logics. Automated theorem proving for hybrid systems

@INPROCEEDINGS{Platzer2008Dagstuhl,
  author    = {Andr{\'e} Platzer},
  title     = {Differential Dynamic Logics. Automated
               Theorem Proving for Hybrid Systems},
  booktitle = {Proceedings des gemeinsamen Workshops der
               Graduiertenkollegs 2008, Dagstuhl},
  year      = {2008},
  editor    = {Malte Diehl and
               Henrik Lipskoch and
               Roland Meyer and
               Christian Storm},
  series    = {Trustworthy Software Systems},
  pages     = {29},
  address   = {Berlin},
  month     = {may},
  publisher = {GI},
  isbn      = {978-3-940019-39-4},
  location  = {May 19--21, 2008, Dagstuhl, Germany},
  url       = {https://dl.gi.de/handle/20.500.12116/33599},
}```