Jump to : Download | Contact | BibTex reference | EndNote reference |

baier:hal-01883409

C. Baier, N. Bertrand, C. Dubslaff, D. Gburek, O. Sankur. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. In LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Pages 86-94, Oxford, United Kingdom, July 2018.

Download [help]

Download paper: Doi page

Download Hal paper: Hal : Hyper Archive en ligne

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
Ocan Sankur http://people.irisa.fr/Ocan.Sankur/

BibTex Reference

@InProceedings{baier:hal-01883409,
   Author = {Baier, C. and Bertrand, N. and Dubslaff, C. and Gburek, D. and Sankur, O.},
   Title = {{Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes}},
   BookTitle = {{LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}},
   Pages = {86--94},
   Publisher = {{ACM Press}},
   Address = {Oxford, United Kingdom},
   Month = {July},
   Year = {2018}
}

EndNote Reference [help]

Get EndNote Reference (.ref)