@misc{indiciae10223cf1b648,
  title = {Computable decision making on the reals and other spaces via partiality and nondeterminism},
  author = {Benjamin Sherman and Luke Sciarappa and Adam Chlipala and Michael Carbin},
  year = {2018},
  url = {https://arxiv.org/abs/1805.00468},
  note = {Source identifier: 1805.00468}
}