Publication
Detail
Publication date: 14/08/2019Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems
| URL | https://link.springer.com/chapter/10.1007/978-3-030-29026-9_24 |
|---|---|
| Book title | International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019) |