| Content: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/articl... |
| Archive: |
Acta Cybernetica |
| Set: |
Uncertainty Modeling, Software, Verified Computing and Optimization
|
| Title: |
Sound Over-Approximation of Probabilities
|
| Creator: |
Moggi, Eugenio
Taha, Walid
Thunberg, Johan
|
| Publisher: |
University of Szeged, Institute of Informatics
|
| Date: |
2020-03-16
|
| Subject: |
probabilities
approximation
intervals
monads
|
| Description: |
|
| Language: |
English
|
| Type: |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
|
| Format: |
application/pdf
|
| Identifier: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4041
10.14232/actacyb.24.3.2020.2
|
| Source: |
Acta Cybernetica; Vol 24 No 3 (2020): Special Issue of the 11th Summer Workshop on Interval Methods; 269-285
2676-993X
0324-721X
|
| Relation: |
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4041/3988
|
