Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.

Published in: CLIMA (2006)

Keyphrases

temporal epistemic
model checking
epistemic logic
multi agent systems
temporal logic
formal verification
temporal properties
model checker
bounded model checking
modal logic
formal specification
formal methods
computation tree logic
knowledge base
cooperative
reinforcement learning