activity
20012024
most citedAlgorithmic Verification of Asynchronous Programs

85 citations · 354 across the 71 of their papers we have counts for

collaborators
Showing cs.GTShow all

6 papers · 1 filter

cs.GT2023

Stochastic Principal-Agent Problems: Efficient Computation and Learning

Jiarui Gan, Rupak Majumdar, Debmalya Mandal +1

We introduce a stochastic principal-agent model. A principal and an agent interact in a stochastic environment, each privy to observations about the state not available to the othe…

cs.GT2021★ 3 cited

Bayesian Persuasion in Sequential Decision-Making

Jiarui Gan, Rupak Majumdar, Goran Radanovic +1

We study a dynamic model of Bayesian persuasion in sequential decision-making settings. An informed principal observes an external parameter of the world and advises an uninformed…

cs.GT2021

A Game-Theoretic Account of Responsibility Allocation

Christel Baier, Florian Funke, Rupak Majumdar

When designing or analyzing multi-agent systems, a fundamental problem is responsibility ascription: to specify which agents are responsible for the joint outcome of their behavior…

cs.GT2012

Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games

Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar

We introduce games with probabilistic uncertainty, a natural model for controller synthesis in which the controller observes the state of the system through imprecise sensors that…

cs.GT2008★ 8 cited

Algorithms for Game Metrics

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar +1

Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the s…

cs.GT2008

Stochastic Limit-Average Games are in EXPTIME

Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger

The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the g…