Sign in
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