96 search results - page 20 / 20 » Bounds, Approximations and Applications for A Two-Queue GPS ... |
TACAS
2007
Springer
13 years 11 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...