Computable decision making on the reals and other spaces via partiality and nondeterminism
Though many safety-critical software systems use floating point to represent real-world input and output, the mathematical specifications of these systems' behaviors use real numbers. Significant deviations from those specifications can cause errors and jeopardize safety. To ensure system safet...
| Main Authors: | , , , |
|---|---|
| Outros Autores: | |
| Formato: | Artigo |
| Idioma: | English |
| Publicado em: |
ACM Press
2019
|
| Acesso em linha: | https://hdl.handle.net/1721.1/122624 |