Published in: LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Rajeev Alur, Marco Faella, Sampath Kannan, and Nimit Singhania. Hedging Bets in Markov Decision Processes. In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 62, pp. 29:1-29:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{alur_et_al:LIPIcs.CSL.2016.29, author = {Alur, Rajeev and Faella, Marco and Kannan, Sampath and Singhania, Nimit}, title = {{Hedging Bets in Markov Decision Processes}}, booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)}, pages = {29:1--29:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-022-4}, ISSN = {1868-8969}, year = {2016}, volume = {62}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.29}, URN = {urn:nbn:de:0030-drops-65698}, doi = {10.4230/LIPIcs.CSL.2016.29}, annote = {Keywords: Markov decision processes, Infinite state systems, Multi-objective optimization} }
Published in: OASIcs, Volume 3, Workshop on Trustworthy Software (2006)
Axel Legay, Luca de Alfaro, and Marco Faella. An Introduction to the Tool Ticc. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{legay_et_al:OASIcs.TrustworthySW.2006.766, author = {Legay, Axel and de Alfaro, Luca and Faella, Marco}, title = {{An Introduction to the Tool Ticc}}, booktitle = {Workshop on Trustworthy Software}, pages = {1--32}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-02-6}, ISSN = {2190-6807}, year = {2006}, volume = {3}, editor = {Autexier, Serge and Merz, Stephan and van der Torre, Leon and Wilhelm, Reinhard and Wolper, Pierre}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.TrustworthySW.2006.766}, URN = {urn:nbn:de:0030-drops-7667}, doi = {10.4230/OASIcs.TrustworthySW.2006.766}, annote = {Keywords: Open system, game, interface automata} }
Feedback for Dagstuhl Publishing