2 citations · 4 across the 4 of their papers we have counts for
4 papers
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar +3
We consider lexicographic bi-objective problems on Markov Decision Processes (MDPs), where we optimize one objective while guaranteeing optimality of another. We propose a two-stag…
Synthesizing safe coalition strategies
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Concurrent games with a fixed number of agents have been thoroughly studied, with various solution concepts and objectives for the agents. In this paper, we consider concurrent gam…
Reconfiguration and Message Losses in Parameterized Broadcast Networks
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
Broadcast networks allow one to model networks of identical nodes communicating through message broadcasts. Their parameterized verification aims at proving a property holds for an…
Computing the Width of Non-deterministic Automata
Denis Kuperberg, Anirban Majumdar
We introduce a measure called width, quantifying the amount of nondeterminism in automata. Width generalises the notion of good-for-games (GFG) automata, that correspond to NFAs of…