Sound Over-Approximation of Probabilities

DOI10.14232/actacyb.24.3.2020.2zbMath1463.62139OpenAlexW3016987319MaRDI QIDQ5126106

Johan Thunberg, Walid Taha, Eugenio Moggi

Publication date: 2 October 2020

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.24.3.2020.2

zbMATH Keywords

intervalsapproximationmonadsprobabilities

Mathematics Subject Classification ID

Foundations and philosophical topics in statistics (62A01) Nonparametric tolerance and confidence regions (62G15)

Related Items (1)

Weakest preconditions in fibrations

This page was built for publication: Sound Over-Approximation of Probabilities