Login / Signup
A Model Checking Algorithm for Multiagent Systems.
Massimo Benerecetti
Fausto Giunchiglia
Luciano Serafini
Published in:
ATAL (1998)
Keyphrases
</>
model checking
multiagent systems
learning algorithm
dynamic programming
temporal logic
verification method
deterministic finite automaton
optimal solution
computational complexity
multi agent