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ão Martins', 'André Platzer', 'Joã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', '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}
}