Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2024
A Survey of Multi-Agent Deep Reinforcement Learning with Communication
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2845–2847Communication is an effective mechanism for coordinating the behaviors of multiple agents, broadening their views of the environment, and to support their collaborations. In the field of multi-agent deep reinforcement learning (MADRL), agents can improve ...
- research-articleMay 2024
Extended Abstract of Diffusion Auction Design with Transaction Costs
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2833–2835We study multi-unit diffusion auctions powered by intermediated markets, where all transactions are processed by intermediaries and incur certain costs. The classic Vickrey-Clarke-Groves (VCG) mechanism within the scenario can obtain the maximum social ...
- research-articleMay 2024
A Summary of Online Markov Decision Processes with Non-oblivious Strategic Adversary
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2830–2832We study a novel setting in Online Markov Decision Processes (OMDPs) where the loss function is chosen by a non-oblivious strategic adversary who follows a no-external regret algorithm. In this setting, we first demonstrate that MDP-Expert, an existing ...
- research-articleMay 2024
pgeon applied to Overcooked-AI to explain agents' behaviour
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2821–2823Policy Graphs (PGs) are a method for representing the behaviour of opaque agents by observing them in the environment and producing graphs where the state and action spaces are discretised into predicates. We present pgeon, a Python library that ...
- research-articleMay 2024
SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL
- Artur Niewiadomski,
- Maciej Nazarczuk,
- Mateusz Przychodzki,
- Magdalena Kacprzak,
- Wojciech Penczek,
- Andrzej Zbrzezny
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2815–2817We present SMT4SMTL - the first tool for deciding the bounded satisfiability of Metric Temporal Logic (MTL) and the existential fragment of Strategic Metric Temporal Logic (SMTL), interpreted over timed multi-agent systems represented by networks of ...
-
- research-articleMay 2024
STV+KH: Towards Practical Verification of Strategic Ability for Knowledge and Information Flow
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2812–2814We present an expanded version of our tool STV for model checking of strategic abilities. The new version adds support for knowledge and uncertainty operators, thus enabling the verification of properties such as privacy, anonymity, and strategic ...
- research-articleMay 2024
A Symbolic Sequential Equilibria Solver for Game Theory Explorer
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2803–2805We present the first implemented symbolic solver for sequential equilibria in general finite imperfect information games.
- research-articleMay 2024
Allocating Resources with Imperfect Information
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2788–2790The distribution of resources is a critical issue that impacts all aspects of the Internet and society, with fairness playing a key role.Current standard algorithms for distribution typically measure fairness through methods based on envy or ...
- research-articleMay 2024
Distributive and Temporal Fairness in Algorithmic Collective Decision-Making
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2779–2781From dividing parliamentary seats after a national election, to scheduling conference activities for an international AI conference, or deciding how to split public budget for city-wide projects, numerous real-life scenarios necessitates a group of ...
- research-articleMay 2024
Generalizing Objective-Specification in Markov Decision Processes
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2767–2769In this thesis, we address general utility Markov decision processes (GUMDPs), which generalize the standard Markov decision processes (MDPs) framework for decision-making by considering a broader range of objective functions that depend on the occupancy ...
- research-articleMay 2024
Toward Explainable Agent Behaviour
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2740–2742Agents are a special kind of AI-based software in that they interact in complex environments and have increased potential for emergent behaviour, even in isolation. Explaining such behaviour is key to deploying trustworthy AI, but the increasing ...
- research-articleMay 2024
Negotiation Strategies for Combining Partials Deals in One-To-Many Negotiations
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2734–2736Efficient automated negotiation is not trivial in one-to-many negotiations with partial deals, where a negotiation agent is challenged with a difficult task to plan and oversee multiple interconnected negotiations. A decision or deal made in one ...
- research-articleMay 2024
Selecting Representative Bodies: An Axiomatic View
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2701–2705As the world's democratic institutions are challenged by dissatisfied citizens, political scientists and computer scientists have proposed and analyzed various (innovative) methods to select representative bodies, a crucial task in every democracy. ...
- research-articleMay 2024
Going Beyond Mono-Mission Earth Observation: Using the Multi-Agent Paradigm to Federate Multiple Missions
- Jean-Loup Farges,
- Filipo Perotto,
- Gauthier Picard,
- Cédric Pralet,
- Cyrille de Lussy,
- Jonathan Guerra,
- Philippe Pavero,
- Fabrice Planchou
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2674–2678We envision a multi-agent federation layer to coordinate systems composed of independent Earth observation missions. The goal of this federation is to allow clients requesting acquisitions of large areas to easily access several constellations of ...
- research-articleMay 2024
Budget-feasible Egalitarian Allocation of Conflicting Jobs
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2659–2667Allocating conflicting jobs among individuals while respecting a budget constraint for each individual is an optimization problem that arises in various real-world scenarios. In this paper, we consider the situation where each individual derives some ...
- research-articleMay 2024
Fair and Efficient Division of a Discrete Cake with Switching Utility Loss
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2641–2649Cake cutting is a widely studied model for allocating resources with temporal or spatial structures among agents. Recently, a new line of research has emerged that focuses on the discrete variant, where the resources are indivisible and connected by a ...
- research-articleMay 2024
Controlling Delegations in Liquid Democracy
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2624–2632In liquid democracy, agents can either vote directly or delegate their vote to a different agent of their choice. This results in a power structure in which certain agents possess more voting weight than others. As a result, it opens up certain ...
- extended-abstractMay 2024
Decentralized Competing Bandits in Many-to-One Matching Markets
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2603–2605Two-sided matching is a classic and well-studied problem. As the participants are usually not aware of the accurate preferences towards the other side, the model of competing bandits characterizes the process of learning uncertainty through interactions ...
- extended-abstractMay 2024
Optimal Diffusion Auctions
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2600–2602Diffusion auction design is a new trend in mechanism design for which the main goal is to incentivize existing buyers to invite their neighbors on a social network, to join an auction. With more buyers, a diffusion auction will be able to receive higher ...
- extended-abstractMay 2024
On the Complexity of Candidates-Embedded Multiwinner Voting under the Hausdorff Function
AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent SystemsPages 2567–2569We study candidates-embedded approval-based multiwinner voting. In this model, we are given a metric ƒ on the set of candidates, and voters are free to approve or disapprove any candidates. The task is to select a k-committee that either minimizes the ...