7 citations · 28 across the 16 of their papers we have counts for
20 papers
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo +14
This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in…
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)
Julian Gutierrez, Anthony W. Lin, Muhammad Najib +2
Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied…
Incentive Engineering for Concurrent Games
David Hyland, Julian Gutierrez, Michael Wooldridge
We consider the problem of incentivising desirable behaviours in multi-agent systems by way of taxation schemes. Our study employs the concurrent games model: in this model, each a…
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli +1
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibr…
Principal-Agent Boolean Games
David Hyland, Julian Gutierrez, Michael Wooldridge
We introduce and study a computational version of the principal-agent problem -- a classic problem in Economics that arises when a principal desires to contract an agent to carry o…
k-Prize Weighted Voting Games
Wei-Chen Lee, David Hyland, Alessandro Abate +5
We introduce a natural variant of weighted voting games, which we refer to as k-Prize Weighted Voting Games. Such games consist of n players with weights, and k prizes, of possibly…