%0 Journal Article %1 journals/acta/BohyBRB17 %A Bohy, Aaron %A Bruyère, Véronique %A Raskin, Jean-François %A Bertrand, Nathalie %D 2017 %J Acta Inf. %K dblp %N 6 %P 545-587 %T Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes. %U http://dblp.uni-trier.de/db/journals/acta/acta54.html#BohyBRB17 %V 54

@article{journals/acta/BohyBRB17, added-at = {2019-09-16T00:00:00.000+0200}, author = {Bohy, Aaron and Bruyère, Véronique and Raskin, Jean-François and Bertrand, Nathalie}, biburl = {https://www.bibsonomy.org/bibtex/2b9cc3973c5f0a004dbbce93b25572368/dblp}, ee = {https://doi.org/10.1007/s00236-016-0255-4}, interhash = {9d92d6ff6163d063434cbad58237f4f9}, intrahash = {b9cc3973c5f0a004dbbce93b25572368}, journal = {Acta Inf.}, keywords = {dblp}, number = 6, pages = {545-587}, timestamp = {2019-09-17T11:48:40.000+0200}, title = {Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta54.html#BohyBRB17}, volume = 54, year = 2017 }