Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems

@INPROCEEDINGS{DBLP:conf/tableaux/MartinsPL19,
	pdf = {pub/doxastic-dL.pdf},
	slides = {pub/doxastic-dL-slides.pdf},

  author    = {Jo{\~a}o Martins and
               Andr{\'{e}} Platzer and
               Jo{\~a}o Leite},
  title     = {Dynamic Doxastic Differential Dynamic Logic
               for Belief-Aware Cyber-Physical Systems},
  booktitle = {TABLEAUX},
  pages     = {428-445},
  year      = {2019},
  doi       = {10.1007/978-3-030-29026-9_24},
  editor    = {Serenella Cerrito and
               Andrei Popescu},
  longbooktitle = {Automated Reasoning with Analytic
               Tableaux and Related Methods - 27th
               International Conference, {TABLEAUX} 2019,
               London, September 3-5, 2019, Proceedings},
  series    = {LNCS},
  volume    = {11714},
  publisher = {Springer},
}```