42,998 research outputs found
MCMAS: an open-source model checker for the verification of multi-agent systems
We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study
Developments in Multi-Agent Fair Allocation
Fairness is becoming an increasingly important concern when designing
markets, allocation procedures, and computer systems. I survey some recent
developments in the field of multi-agent fair allocation
Incorporating Fairness into Development of an Integrated Multi-agent Online Dispute Resolution Environment
The paper describes the development of an integrated multi-agent online
dispute resolution environment called IMODRE that was designed to assist parties
involved in Australian family law disputes achieve legally fairer negotiated outcomes.
The system extends our previouswork in developing negotiation support systems Family_
Winner and AssetDivider. In this environment one agent uses a Bayesian Belief
Network expertly modeled with knowledge of the Australian Family Law domain to
advise disputants of their Best Alternatives to Negotiated Agreements. Another agent
incorporates the percentage split of marital property into an integrative bargaining
process and applies heuristics and game theory to equitably distribute marital property
assets and facilitate further trade-offs. We use this system to add greater fairness
to Family property law negotiations
- …