References

  1. Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek & Ocan Sankur (2018): Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. In: LICS'18. IEEE, doi:10.1145/3209108.3209184.
  2. Christel Baier, Clemens Dubslaff & Sascha Klüppelholz (2014): Trade-off analysis meets probabilistic model checking. In: CSL-LICS'14. ACM, pp. 1:1–1:10, doi:10.1145/2603088.2603089.
  3. Christel Baier, Joachim Klein, Sascha Klüppelholz & Sascha Wunderlich (2017): Maximizing the Conditional Expected Reward for Reaching the Goal. In: TACAS'17, LNCS 10206. Springer, pp. 269–285, doi:10.1007/978-3-662-54580-5_16.
  4. Olivier Beaude, Samson Lasaulce, Martin Hennebel & Ibrahim Mohand-Kaci (2016): Reducing the Impact of EV Charging Operations on the Distribution Network. IEEE Trans. Smart Grid 7(6), pp. 2666–2679, doi:10.1109/TSG.2015.2489564.
  5. Raphaël Berthon, Mickael Randour & Jean-François Raskin (2017): Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. In: ICALP'17, LIPIcs 80. LZI, pp. 121:1–121:15, doi:10.4230/LIPIcs.ICALP.2017.121.
  6. Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt & Antonín Kučera (2014): Markov Decision Processes with Multiple Long-Run Average Objectives. LMCS 10(1:13), pp. 1–29, doi:10.2168/LMCS-10(1:13)2014.
  7. Véronique Bruyère, Emmanuel Filiot, Mickael Randour & Jean-François Raskin (2017): Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Inf. & Comp. 254, pp. 259–295, doi:10.1016/j.ic.2016.10.011.
  8. Krishnendu Chatterjee (2007): Markov Decision Processes with Multiple Long-Run Average Objectives. In: FSTTCS'07, LNCS 4855. Springer, pp. 473–484, doi:10.1007/978-3-540-77050-3_39.
  9. Krishnendu Chatterjee, Zuzana Křetínská & Jan Křetínský (2017): Unifying two views on multiple mean-payoff objectives in Markov decision processes. LMCS 13(2:15), pp. 1–50, doi:10.23638/LMCS-13(2:15)2017.
  10. Lorenzo Clemente & Jean-François Raskin (2015): Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives. In: LICS'15. IEEE, pp. 257–268, doi:10.1109/LICS.2015.33.
  11. Jonathan Donadee & Marija D. Ilic (2014): Stochastic Optimization of Grid to Vehicle Frequency Regulation Capacity Bids. IEEE Trans. on Smart Grid 5(2), pp. 1061–1069, doi:10.1109/TSG.2013.2290971.
  12. Jerzy Filar & Koos Vrieze (1997): Competitive Markov Decision Processes. Springer, doi:10.1007/978-1-4612-4054-9.
  13. Mauricio González, Olivier Beaude, Patricia Bouyer, Samson Lasaulce & Nicolas Markey (2017): Stratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévision. In: GRETSI'17. Available at http://www.lsv.fr/Publis/PAPERS/PDF/GBBLM- gretsi17.pdf.
  14. Christoph Haase & Stefan Kiefer (2015): The Odds of Staying on Budget. In: ICALP'15, LNCS 9135. Springer, pp. 234–246, doi:10.1007/978-3-662-47666-6_19.
  15. Daniel R. Jiang & Warren B. Powell (2016): Practicality of Nested Risk Measures for Dynamic Electric Vehicle Charging. Research Report 1605.02848. arXiv.
  16. Jan Kretínský & Tobias Meggendorfer (2018): Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Research Report 1805.02946. arXiv.
  17. Martin L. Puterman (1994): Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley and Sons, doi:10.1002/9780470316887.
  18. Mickael Randour, Jean-François Raskin & Ocan Sankur (2015): Variations on the Stochastic Shortest Path Problem. In: VMCAI'15, LNCS 8931. Springer, pp. 1–18, doi:10.1007/978-3-662-46081-8_1.
  19. Mickael Randour, Jean-François Raskin & Ocan Sankur (2017): Percentile queries in multi-dimensional Markov decision processes. FMSD 50(2-3), pp. 207–248, doi:10.1007/978-3-319-21690-4_8.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org