Computable decision making on the reals and other spaces
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jul 09, 2018
- Source ID
- 10.1145/3209108.3209193
Entities
People
- Adam Chlipala
- Benjamin Sherman
- Luke Sciarappa
- Michael Carbin
Organizations
- Massachusetts Institute of Technology
- Office of Naval Research
- Wind Energy Technologies Office