Login / Signup
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.
Laura Giordano
Alberto Martelli
Camilla Schwind
Published in:
AI*IA (2003)
Keyphrases
</>
communicating agents
spatio temporal
model checking
intelligent systems