Login / Signup
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