%0 Conference Paper %1 conf/setta/HashemiTHHE17 %A Hashemi, Vahid %A Turrini, Andrea %A Hahn, Ernst Moritz %A Hermanns, Holger %A Elbassioni, Khaled M. %B SETTA %D 2017 %E Larsen, Kim Guldstrand %E Sokolsky, Oleg %E Wang, Ji %I Springer %K dblp %P 25-41 %T Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs. %U http://dblp.uni-trier.de/db/conf/setta/setta2017.html#HashemiTHHE17 %V 10606 %@ 978-3-319-69483-2

@inproceedings{conf/setta/HashemiTHHE17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Hashemi, Vahid and Turrini, Andrea and Hahn, Ernst Moritz and Hermanns, Holger and Elbassioni, Khaled M.}, biburl = {https://www.bibsonomy.org/bibtex/2800990629b4a6d3021756ff66d6fa7b0/dblp}, booktitle = {SETTA}, crossref = {conf/setta/2017}, editor = {Larsen, Kim Guldstrand and Sokolsky, Oleg and Wang, Ji}, ee = {https://doi.org/10.1007/978-3-319-69483-2_2}, interhash = {9019418d9414218044d5f6d5cc761d15}, intrahash = {800990629b4a6d3021756ff66d6fa7b0}, isbn = {978-3-319-69483-2}, keywords = {dblp}, pages = {25-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:48:07.000+0200}, title = {Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs.}, url = {http://dblp.uni-trier.de/db/conf/setta/setta2017.html#HashemiTHHE17}, volume = 10606, year = 2017 }