Sasa Misailovic. Probabilistic reasoning for analysis of approximate computations. In Proceedings of the 2017 International Conference on Compilers, Architectures and Synthesis for Embedded Systems, CASES 2017, Seoul, Republic of Korea, October 15-20, 2017. ACM, 2017. [doi]
Abstract is missing.