Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

First Author: Constantinides G
Attributed to:  Application Customisation: Enhancing Design Quality and Developer Productivity funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-81688-9_29

Publication URI: http://dx.doi.org/10.1007/978-3-030-81688-9_29

Type: Book Chapter

Book Title: Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (2021)

Page Reference: 626-650

ISSN: 16113349 03029743