Login / Signup

A Model Checking Algorithm for Multiagent Systems.

Massimo BenerecettiFausto GiunchigliaLuciano 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