%0 Conference Paper %1 conf/fm/BlahoudekCNOTT21 %A Blahoudek, Frantisek %A Cubuktepe, Murat %A Novotný, Petr %A Ornik, Melkior %A Thangeda, Pranay %A Topcu, Ufuk %B FM %D 2021 %E Huisman, Marieke %E Pasareanu, Corina S. %E Zhan, Naijun %I Springer %K dblp %P 640-656 %T Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. %U http://dblp.uni-trier.de/db/conf/fm/fm2021.html#BlahoudekCNOTT21 %V 13047 %@ 978-3-030-90870-6

@inproceedings{conf/fm/BlahoudekCNOTT21, added-at = {2022-08-16T00:00:00.000+0200}, author = {Blahoudek, Frantisek and Cubuktepe, Murat and Novotný, Petr and Ornik, Melkior and Thangeda, Pranay and Topcu, Ufuk}, biburl = {https://www.bibsonomy.org/bibtex/218e803eed59be04a4674f5ca5c6fee05/dblp}, booktitle = {FM}, crossref = {conf/fm/2021}, editor = {Huisman, Marieke and Pasareanu, Corina S. and Zhan, Naijun}, ee = {https://www.wikidata.org/entity/Q112285147}, interhash = {086ee150ca6962317a549463f172cab3}, intrahash = {18e803eed59be04a4674f5ca5c6fee05}, isbn = {978-3-030-90870-6}, keywords = {dblp}, pages = {640-656}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2021.html#BlahoudekCNOTT21}, volume = 13047, year = 2021 }