Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
Article in Artificial Intelligence (January 2024)
The most recent citing publications are shown below. View all 131 publications that cite this research output on Dimensions.
Article in Artificial Intelligence (January 2024)
Article in Physics of Life Reviews (December 2023)
Article in Journal of Logic and Computation (August 2023)