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

João G. Martins André Platzer João Leite

Published in: TABLEAUX (2019)

Keyphrases

dynamic logic
cyber physical systems
dynamic environments
modal operators
cyber physical
belief revision
imperative programs
artificial intelligence
physical world