@inproceedings{ BBG:uai98,
  title = {Structured Reachability Analysis for Markov Decision Processes}
}
,
  url = {reachability.pdf}
}
,
  booktitle = {<undefined>}
}
,
  author = {Craig Boutilier and Ronen I. Brafman and Christopher Geib}
}
,
  year = {1998}
}
,
  address = {Madison, WI}
}
,
  pages = {24--32}
}