%0 Conference Paper %1 conf/lics/KretinskyM18 %A Kretínský, Jan %A Meggendorfer, Tobias %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 609-618 %T Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#KretinskyM18

@inproceedings{conf/lics/KretinskyM18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Kretínský, Jan and Meggendorfer, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2bd096eef7b3f42fe7eb5ea59827624c6/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209176}, interhash = {4c85a75894feeadc7872be717e2a5c72}, intrahash = {bd096eef7b3f42fe7eb5ea59827624c6}, keywords = {dblp}, pages = {609-618}, publisher = {ACM}, timestamp = {2018-11-22T11:50:04.000+0100}, title = {Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#KretinskyM18}, year = 2018 }