22
April
2021
Verifiability Talk 13: Verification under uncertainty: probabilistic, parametric, confidence-interval, and statistical model checking (Radu Calinescu, University of York)
16:00 – 17:00Title: Verification under uncertainty: probabilistic, parametric, confidence-interval, and statistical model checking
Speaker: Radu Calinescu (University of York)