Login / Signup
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction.
Natasha Alechina
Brian Logan
Nguyen Hoang Nga
Abdur Rakib
Published in:
MoChArt (2010)
Keyphrases
</>
resource requirements
automated verification
multi agent systems
model checking
automated reasoning
resource allocation
formal verification
multi agent
resource consumption
scheduling algorithm
temporal logic
graph theory
cooperative
database
inference rules
computational efficiency
programming language