Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.

Joo G. Martins, Andr Platzer, Joo Leite

Browse the full TABLEAUX paper archive.