1 search results - page 1 / 1 » A note on the McKelvey uncovered set and Pareto optimality |
TACAS
2007
Springer
13 years 10 months ago
2007
Springer
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 (ω-regu...