@inproceedings{dblp-conf-formats-forejtknt10,
  title = {Expected Reachability-Time Games},
  author = {Vojtech Forejt and Marta Z. Kwiatkowska and Gethin Norman and Ashutosh Trivedi},
  year = {2010},
  url = {https://dblp.org/rec/conf/formats/ForejtKNT10},
  booktitle = {FORMATS 2010}
}