Login / Signup

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.

Ammar MohammedUlrich 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