@entry{olb-20-aa, author = {M Olbrich}, title = {Extended Probability Distribution Arithmetic}, journal = {2020 IEEE 2nd International Conference on ...,}, volume = {}, number = {}, pages = {}, year = 2020, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/9314534/?casa_token=f5rIWZ8pczEAAAAA:tiFMXq3np6WgzkMHt1n7uD9QZhcw_ExW3cVJredqGRdXPxbzYGcb0SESMgbWLrYzwfUpVtCk}}}, quotes = {... The idea is inspired by affine arithmetic [2] which has been successfully used to verify analog/mixed-signal systems (eg [3], [4]). However, affine arithmetic is only capable of ...} }