Login / Signup
Verifying Protocol Conformance for Logic-Based Communicating Agents.
Matteo Baldoni
Cristina Baroglio
Alberto Martelli
Viviana Patti
Claudio Schifanella
Published in:
CLIMA (2004)
Keyphrases
</>
communicating agents
protocol specification
artificial agents
event calculus
model checking
knowledge representation
cooperative
modal logic