Simple Strategies in Multi-Objective MDPs
363
21. Feng, L., Wiltsche, C., Humphrey, L.R., Topcu, U.: Controller synthesis for autonomous systems interacting with human operators. In: ICCPS. pp. 70–79. ACM
(2015)
22. Forejt, V., Kwiatkowska, M.Z., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: SFM. LNCS, vol. 6659, pp. 53–113.
Springer (2011)
23. Forejt, V., Kwiatkowska, M.Z., Norman, G., Parker, D., Qu, H.: Quantitative multiobjective verification for probabilistic systems. In: TACAS. LNCS, vol. 6605, pp.
112–127. Springer (2011)
24. Forejt, V., Kwiatkowska, M.Z., Parker, D.: Pareto curves for probabilistic model
checking. In: ATVA. LNCS, vol. 7561, pp. 317–332. Springer (2012)
25. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory
of NP-Completeness. W. H. Freeman & Co., New York, NY, USA (1979)
26. Gleixner, A., Bastubbe, M., Eifler, L., Gally, T., Gamrath, G., Gottwald, R.L.,
Hendel, G., Hojny, C., Koch, T., Lübbecke, M.E., Maher, S.J., Miltenberger, M.,
Müller, B., Pfetsch, M.E., Puchert, C., Rehfeldt, D., Schlösser, F., Schubert, C.,
Serrano, F., Shinano, Y., Viernickel, J.M., Walter, M., Wegscheider, F., Witt, J.T.,
Witzig, J.: The SCIP Optimization Suite 6.0. Technical report, Optimization Online (July 2018), http://www.optimization-online.org/DB_HTML/2018/07/6692.
html
27. Gurobi Optimization, L.: Gurobi optimizer reference manual (2019), http://www.
gurobi.com
28. Hartmanns, A., Junges, S., Katoen, J., Quatmann, T.: Multi-cost bounded reachability in MDP. In: TACAS (2). LNCS, vol. 10806, pp. 320–339. Springer (2018)
29. Junges, S., Jansen, N., Wimmer, R., Quatmann, T., Winterer, L., Katoen, J.,
Becker, B.: Finite-state controllers of POMDPs using parameter synthesis. In: UAI.
pp. 519–529. AUAI Press (2018)
30. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic
real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proc. 23rd International Conference on Computer Aided Verification (CAV’11). LNCS, vol. 6806, pp.
585–591. Springer (2011)
31. Kwiatkowska, M.Z., Norman, G., Parker, D.: The PRISM benchmark suite. In:
QEST. pp. 203–204 (2012). https://doi.org/10.1109/QEST.2012.14
32. Lacerda, B., Parker, D., Hawes, N.: Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees. In: ICAPS. pp. 504–512.
AAAI Press (2017)
33. Lizotte, D.J., Bowling, M., Murphy, S.A.: Linear fitted-Q iteration with multiple
reward functions. J. Mach. Learn. Res. 13, 3253–3295 (2012)
34. Perny, P., Weng, P.: On finding compromise solutions in multiobjective Markov
decision processes. In: ECAI. FAIA, vol. 215, pp. 969–970. IOS Press (2010)
35. Pia, A.D., Dey, S.S., Molinaro, M.: Mixed-integer quadratic programming is in NP.
Math. Program. 162(1-2), 225–240 (2017)
36. Puterman, M.L.: Markov Decision Processes. John Wiley and Sons (1994)
37. Qiu, Q., Wu, Q., Pedram, M.: Stochastic modeling of a power-managed system:
Construction and optimization. In: ISLPED. pp. 194–199. ACM (1999)
38. Quatmann, T., Junges, S., Katoen, J.: Markov automata with multiple objectives.
In: CAV (1). LNCS, vol. 10426, pp. 140–159. Springer (2017)
39. Randour, M., Raskin, J., Sankur, O.: Variations on the stochastic shortest path
problem. In: VMCAI. Lecture Notes in Computer Science, vol. 8931, pp. 1–18.
Springer (2015)
363
21. Feng, L., Wiltsche, C., Humphrey, L.R., Topcu, U.: Controller synthesis for autonomous systems interacting with human operators. In: ICCPS. pp. 70–79. ACM
(2015)
22. Forejt, V., Kwiatkowska, M.Z., Norman, G., Parker, D.: Automated verification techniques for probabilistic systems. In: SFM. LNCS, vol. 6659, pp. 53–113.
Springer (2011)
23. Forejt, V., Kwiatkowska, M.Z., Norman, G., Parker, D., Qu, H.: Quantitative multiobjective verification for probabilistic systems. In: TACAS. LNCS, vol. 6605, pp.
112–127. Springer (2011)
24. Forejt, V., Kwiatkowska, M.Z., Parker, D.: Pareto curves for probabilistic model
checking. In: ATVA. LNCS, vol. 7561, pp. 317–332. Springer (2012)
25. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory
of NP-Completeness. W. H. Freeman & Co., New York, NY, USA (1979)
26. Gleixner, A., Bastubbe, M., Eifler, L., Gally, T., Gamrath, G., Gottwald, R.L.,
Hendel, G., Hojny, C., Koch, T., Lübbecke, M.E., Maher, S.J., Miltenberger, M.,
Müller, B., Pfetsch, M.E., Puchert, C., Rehfeldt, D., Schlösser, F., Schubert, C.,
Serrano, F., Shinano, Y., Viernickel, J.M., Walter, M., Wegscheider, F., Witt, J.T.,
Witzig, J.: The SCIP Optimization Suite 6.0. Technical report, Optimization Online (July 2018), http://www.optimization-online.org/DB_HTML/2018/07/6692.
html
27. Gurobi Optimization, L.: Gurobi optimizer reference manual (2019), http://www.
gurobi.com
28. Hartmanns, A., Junges, S., Katoen, J., Quatmann, T.: Multi-cost bounded reachability in MDP. In: TACAS (2). LNCS, vol. 10806, pp. 320–339. Springer (2018)
29. Junges, S., Jansen, N., Wimmer, R., Quatmann, T., Winterer, L., Katoen, J.,
Becker, B.: Finite-state controllers of POMDPs using parameter synthesis. In: UAI.
pp. 519–529. AUAI Press (2018)
30. Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: Verification of probabilistic
real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proc. 23rd International Conference on Computer Aided Verification (CAV’11). LNCS, vol. 6806, pp.
585–591. Springer (2011)
31. Kwiatkowska, M.Z., Norman, G., Parker, D.: The PRISM benchmark suite. In:
QEST. pp. 203–204 (2012). https://doi.org/10.1109/QEST.2012.14
32. Lacerda, B., Parker, D., Hawes, N.: Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees. In: ICAPS. pp. 504–512.
AAAI Press (2017)
33. Lizotte, D.J., Bowling, M., Murphy, S.A.: Linear fitted-Q iteration with multiple
reward functions. J. Mach. Learn. Res. 13, 3253–3295 (2012)
34. Perny, P., Weng, P.: On finding compromise solutions in multiobjective Markov
decision processes. In: ECAI. FAIA, vol. 215, pp. 969–970. IOS Press (2010)
35. Pia, A.D., Dey, S.S., Molinaro, M.: Mixed-integer quadratic programming is in NP.
Math. Program. 162(1-2), 225–240 (2017)
36. Puterman, M.L.: Markov Decision Processes. John Wiley and Sons (1994)
37. Qiu, Q., Wu, Q., Pedram, M.: Stochastic modeling of a power-managed system:
Construction and optimization. In: ISLPED. pp. 194–199. ACM (1999)
38. Quatmann, T., Junges, S., Katoen, J.: Markov automata with multiple objectives.
In: CAV (1). LNCS, vol. 10426, pp. 140–159. Springer (2017)
39. Randour, M., Raskin, J., Sankur, O.: Variations on the stochastic shortest path
problem. In: VMCAI. Lecture Notes in Computer Science, vol. 8931, pp. 1–18.
Springer (2015)