@inproceedings{dblp-conf-formats-guha019,
  title = {Expected Reachability-Price Games},
  author = {Shibashis Guha and Ashutosh Trivedi},
  year = {2019},
  url = {https://dblp.org/rec/conf/formats/Guha019},
  booktitle = {FORMATS 2019}
}