138 citations · 262 across the 11 of their papers we have counts for
3 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…
First-Order and Temporal Logics for Nested Words
Rajeev Alur, Marcelo Arenas, Pablo Barcelo +3
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure of…