Login / Signup

Verifying Protocol Conformance for Logic-Based Communicating Agents.

Matteo BaldoniCristina BaroglioAlberto MartelliViviana PattiClaudio Schifanella
Published in: CLIMA (2004)
Keyphrases
  • communicating agents
  • protocol specification
  • artificial agents
  • event calculus
  • model checking
  • knowledge representation
  • cooperative
  • modal logic