Login / Signup
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.
Ammar Mohammed
Ulrich Furbach
Published in:
PROMAS (2009)
Keyphrases
</>
multi agent systems
hybrid automata
multi agent
learning theory
agent based modeling
model checking
autonomous agents
software agents
game theory
formal verification
finite state automata