research
∙
07/27/2023
Reachability Poorman Discrete-Bidding Games
We consider bidding games, a class of two-player zero-sum graph games. T...
share
research
∙
05/06/2023
A Game of Pawns
We introduce and study pawn games, a class of two-player zero-sum turn-b...
research
∙
01/24/2023
ASQ-IT: Interactive Explanations for Reinforcement-Learning Agents
As reinforcement learning methods increasingly amass accomplishments, th...
research
∙
11/24/2022
Bidding Graph Games with Partially-Observable Budgets
Two-player zero-sum "graph games" are a central model, which proceeds as...
research
∙
10/06/2022
Computing Threshold Budgets in Discrete-Bidding Games
In a two-player zero-sum graph game, the players move a token throughout...
research
∙
05/25/2020
Formal Methods with a Touch of Magic
Machine learning and formal methods have complimentary benefits and draw...
research
∙
05/12/2020
Infinite-Duration All-Pay Bidding Games
A graph game is a two-player zero-sum game in which the players move a t...
research
∙
11/19/2019
All-Pay Bidding Games on Graphs
In this paper we introduce and study all-pay bidding games, a class of ...
research
∙
05/09/2019
Bidding Mechanisms in Graph Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
05/09/2019
Determinacy in Discrete-Bidding Infinite-Duration Games
In two-player games on graphs, the players move a token through a graph ...
research
∙
08/14/2018
Timed Network Games with Clocks
Network games are widely used as a model for selfish resource-allocation...
research
∙
04/12/2018