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