%0 Conference Paper %1 conf/tacas/HahnPSS0W20 %A Hahn, Ernst Moritz %A Perez, Mateo %A Schewe, Sven %A Somenzi, Fabio %A Trivedi, Ashutosh %A Wojtczak, Dominik %B TACAS (1) %D 2020 %E Biere, Armin %E Parker, David %I Springer %K dblp %P 306-323 %T Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2020-1.html#HahnPSS0W20 %V 12078 %@ 978-3-030-45190-5

@inproceedings{conf/tacas/HahnPSS0W20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Hahn, Ernst Moritz and Perez, Mateo and Schewe, Sven and Somenzi, Fabio and Trivedi, Ashutosh and Wojtczak, Dominik}, biburl = {https://www.bibsonomy.org/bibtex/262c837ed10d07583404c47b79d892260/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2020-1}, editor = {Biere, Armin and Parker, David}, ee = {https://doi.org/10.1007/978-3-030-45190-5_17}, interhash = {744e10d258f640e2b9ed1a4bd1f24632}, intrahash = {62c837ed10d07583404c47b79d892260}, isbn = {978-3-030-45190-5}, keywords = {dblp}, pages = {306-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2020-1.html#HahnPSS0W20}, volume = 12078, year = 2020 }