@article{dblp-journals-tcs-forejtknt16,
  title = {Expected reachability-time games},
  author = {Vojtech Forejt and Marta Kwiatkowska and Gethin Norman and Ashutosh Trivedi},
  year = {2016},
  url = {https://dblp.org/rec/journals/tcs/ForejtKNT16},
  journal = {Theor. Comput. Sci. 631}
}