362
F. Delgrange et al.
References
1. Baier, C., Daum, M., Dubslaff, C., Klein, J., Klüppelholz, S.: Energyutility quantiles. In: NASA Formal Methods, NFM. pp. 285–299 (2014).
https://doi.org/10.1007/978-3-319-06200-6_24
2. Baier, C., Dubslaff, C., Klüppelholz, S.: Trade-off analysis meets probabilistic
model checking. In: CSL-LICS. pp. 1:1–1:10. ACM (2014)
3. Baier, C., Hermanns, H., Katoen, J.: The 10, 000 facets of MDP model checking.
In: Computing and Software Science, LNCS, vol. 10000, pp. 420–451. Springer
(2019)
4. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
5. Baier, C., Klein, J., Leuschner, L., Parker, D., Wunderlich, S.: Ensuring the reliability of your model checker: Interval iteration for Markov decision processes. In:
CAV (1). LNCS, vol. 10426, pp. 160–180. Springer (2017)
6. Barrett, L., Narayanan, S.: Learning all optimal policies with multiple criteria. In:
(ICML). pp. 41–47 (2008)
7. Benini, L., Bogliolo, A., Paleologo, G.A., De Micheli, G.: Policy optimization for
dynamic power management. Trans. Comp.-Aided Des. Integ. Cir. Sys. 18(6), 813–
833 (2006). https://doi.org/10.1109/43.766730
8. Berthon, R., Randour, M., Raskin, J.: Threshold constraints with guarantees for
parity objectives in Markov decision processes. In: ICALP. LIPIcs, vol. 80, pp.
121:1–121:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
9. Bouyer, P., González, M., Markey, N., Randour, M.: Multi-weighted Markov decision processes with reachability objectives. In: GandALF. EPTCS, vol. 277, pp.
250–264 (2018)
10. Bruno, J.L., Downey, P.J., Frederickson, G.N.: Sequencing tasks with exponential
service times to minimize the expected flow time or makespan. J. ACM 28(1),
100–113 (1981). https://doi.org/10.1145/322234.322242
11. Bruyère, V., Filiot, E., Randour, M., Raskin, J.: Meet your expectations with
guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput. 254,
259–295 (2017)
12. Chatterjee, K., de Alfaro, L., Henzinger, T.A.: Trading memory for randomness.
In: QEST. pp. 206–217. IEEE Computer Society (2004)
13. Chatterjee, K., Kretínská, Z., Kretínský, J.: Unifying two views on multiple meanpayoff objectives in markov decision processes. LMCS 13(2) (2017)
14. Chatterjee, K., Majumdar, R., Henzinger, T.A.: Markov decision processes with
multiple objectives. In: STACS. LNCS, vol. 3884, pp. 325–336. Springer (2006)
15. Chen, T., Kwiatkowska, M.Z., Parker, D., Simaitis, A.: Verifying team formation
protocols with probabilistic model checking. In: CLIMA. pp. 190–207 (2011)
16. Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A Storm is coming: A modern
probabilistic model checker. In: CAV. LNCS, vol. 10427. Springer (2017)
17. Delgrange, F., Katoen, J.P., Quatmann, T., Randour, M.: Simple strategies in
multi-objective MDPs (technical report). CoRR abs//1910.11024 (2019), http:
//arxiv.org/abs/1910.11024
18. Delgrange, F., Katoen, J.P., Quatmann, T., Randour, M.: Evaluated artifact for
this paper. figshare (2020). https://doi.org/10.6084/m9.figshare.11569485
19. von Essen, C., Giannakopoulou, D.: Probabilistic verification and synthesis of the
next generation airborne collision avoidance system. STTT 18(2), 227–243 (2016)
20. Etessami, K., Kwiatkowska, M.Z., Vardi, M.Y., Yannakakis, M.: Multi-objective
model checking of Markov decision processes. Logical Methods in Computer Science
4(4) (2008). https://doi.org/10.2168/LMCS-4(4:8)2008
F. Delgrange et al.
References
1. Baier, C., Daum, M., Dubslaff, C., Klein, J., Klüppelholz, S.: Energyutility quantiles. In: NASA Formal Methods, NFM. pp. 285–299 (2014).
https://doi.org/10.1007/978-3-319-06200-6_24
2. Baier, C., Dubslaff, C., Klüppelholz, S.: Trade-off analysis meets probabilistic
model checking. In: CSL-LICS. pp. 1:1–1:10. ACM (2014)
3. Baier, C., Hermanns, H., Katoen, J.: The 10, 000 facets of MDP model checking.
In: Computing and Software Science, LNCS, vol. 10000, pp. 420–451. Springer
(2019)
4. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
5. Baier, C., Klein, J., Leuschner, L., Parker, D., Wunderlich, S.: Ensuring the reliability of your model checker: Interval iteration for Markov decision processes. In:
CAV (1). LNCS, vol. 10426, pp. 160–180. Springer (2017)
6. Barrett, L., Narayanan, S.: Learning all optimal policies with multiple criteria. In:
(ICML). pp. 41–47 (2008)
7. Benini, L., Bogliolo, A., Paleologo, G.A., De Micheli, G.: Policy optimization for
dynamic power management. Trans. Comp.-Aided Des. Integ. Cir. Sys. 18(6), 813–
833 (2006). https://doi.org/10.1109/43.766730
8. Berthon, R., Randour, M., Raskin, J.: Threshold constraints with guarantees for
parity objectives in Markov decision processes. In: ICALP. LIPIcs, vol. 80, pp.
121:1–121:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)
9. Bouyer, P., González, M., Markey, N., Randour, M.: Multi-weighted Markov decision processes with reachability objectives. In: GandALF. EPTCS, vol. 277, pp.
250–264 (2018)
10. Bruno, J.L., Downey, P.J., Frederickson, G.N.: Sequencing tasks with exponential
service times to minimize the expected flow time or makespan. J. ACM 28(1),
100–113 (1981). https://doi.org/10.1145/322234.322242
11. Bruyère, V., Filiot, E., Randour, M., Raskin, J.: Meet your expectations with
guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput. 254,
259–295 (2017)
12. Chatterjee, K., de Alfaro, L., Henzinger, T.A.: Trading memory for randomness.
In: QEST. pp. 206–217. IEEE Computer Society (2004)
13. Chatterjee, K., Kretínská, Z., Kretínský, J.: Unifying two views on multiple meanpayoff objectives in markov decision processes. LMCS 13(2) (2017)
14. Chatterjee, K., Majumdar, R., Henzinger, T.A.: Markov decision processes with
multiple objectives. In: STACS. LNCS, vol. 3884, pp. 325–336. Springer (2006)
15. Chen, T., Kwiatkowska, M.Z., Parker, D., Simaitis, A.: Verifying team formation
protocols with probabilistic model checking. In: CLIMA. pp. 190–207 (2011)
16. Dehnert, C., Junges, S., Katoen, J.P., Volk, M.: A Storm is coming: A modern
probabilistic model checker. In: CAV. LNCS, vol. 10427. Springer (2017)
17. Delgrange, F., Katoen, J.P., Quatmann, T., Randour, M.: Simple strategies in
multi-objective MDPs (technical report). CoRR abs//1910.11024 (2019), http:
//arxiv.org/abs/1910.11024
18. Delgrange, F., Katoen, J.P., Quatmann, T., Randour, M.: Evaluated artifact for
this paper. figshare (2020). https://doi.org/10.6084/m9.figshare.11569485
19. von Essen, C., Giannakopoulou, D.: Probabilistic verification and synthesis of the
next generation airborne collision avoidance system. STTT 18(2), 227–243 (2016)
20. Etessami, K., Kwiatkowska, M.Z., Vardi, M.Y., Yannakakis, M.: Multi-objective
model checking of Markov decision processes. Logical Methods in Computer Science
4(4) (2008). https://doi.org/10.2168/LMCS-4(4:8)2008