Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.

Carla A. D. M. Delgado Mario R. F. Benevides

Published in: MATES (2009)

Keyphrases

temporal epistemic
multi agent systems
model checking
epistemic logic
probabilistic model
formal verification
desirable properties
dynamic epistemic logic
computation tree logic
multi agent
data driven
dynamic environments
intelligent agents
mobile agents
real time
inference rules
model checker
data sets