138 citations · 191 across the 22 of their papers we have counts for
4 papers · 1 filter
Multi-Objective Model Checking of Markov Decision Processes
Kousha Etessami, Marta Kwiatkowska, Moshe Y. Vardi +1
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regul…
Recursive Concurrent Stochastic Games
Kousha Etessami, Mihalis Yannakakis
We study Recursive Concurrent Stochastic Games (RCSGs), extending our recent analysis of recursive simple stochastic games to a concurrent setting where the two players choose move…
Small Approximate Pareto Sets for Bi-objective Shortest Paths and Other Problems
Ilias Diakonikolas, Mihalis Yannakakis
We investigate the problem of computing a minimum set of solutions that approximates within a specified accuracy the Pareto curve of a multiobjective optimization problem. We s…
Equilibria, Fixed Points, and Complexity Classes
Mihalis Yannakakis
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o…