-
Selection by year
-
Selection by authors
-
Complete lists
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.
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)