Login / Signup
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation.
Franco Raimondi
Alessio Lomuscio
Published in:
AAMAS (2004)
Keyphrases
</>
multiagent systems
multi agent
search space
computational complexity
machine learning
np hard
dynamic programming
objective function
cooperative
linear programming
model checking