@entry{gho-dug-kah-iva-12-aa,
  author = {K Ghorbal and PS Duggirala and V Kahlon and F Ivan\uc{010d}i\uc{0107}...},
  title = {Efficient probabilistic model checking of systems with ranged probabilities},
  journal = {International Workshop ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2012,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://link.springer.com/chapter/10.1007/978-3-642-33512-9_10}}},
  quotes = {... We leverage affine arithmetic to propagate the first-order error terms. Higher-order error ... Our technique leverages affine arithmetic, which has been successfully applied in various ...}
}