Modeling and Verification of a Multi-Agent Argumentation System using NuSMV

Supriya D'Souza Abhishek Rao Amit Sharma Sanjay Singh

Published in: CoRR (2012)

Keyphrases

model checking
multi agent
model checker
symbolic model checking
formal verification
temporal logic
artificial intelligence
multi agent systems
formal methods
reinforcement learning
orders of magnitude
formal specification