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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Jerzy Filar & Koos Vrieze (1997):
Competitive Markov Decision Processes.
Springer,
doi:10.1007/978-1-4612-4054-9.
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.
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.
Daniel R. Jiang & Warren B. Powell (2016):
Practicality of Nested Risk Measures for Dynamic Electric Vehicle Charging.
Research Report 1605.02848.
arXiv.
Jan Kretínský & Tobias Meggendorfer (2018):
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.
Research Report 1805.02946.
arXiv.
Martin L. Puterman (1994):
Markov Decision Processes: Discrete Stochastic Dynamic Programming.
John Wiley and Sons,
doi:10.1002/9780470316887.
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.
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.