138 citations · 191 across the 22 of their papers we have counts for
1 paper · 2 filters
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…