Slides

27 May ' 22  Probabilistic Hyperproperties with Rewards
thumbnail
[NFM 2021],  Caltech, Pasadena, CA
 ⤷ Paper
(Conference Presentation)
18 slides  •  ~ 18 mins  • 
20 Nov ' 21  HyperProb: A Model Checker for Probabilistic Hyperproperties
thumbnail
FM 2021,  Virtual
 ⤷ Paper
(Conference Presentation)
14 slides  •  ~ 7 mins  • 
22 Oct ' 20  Probabilistic Hyperproperties with Nondeterminism
thumbnail
ATVA 2020,  Virtual
 ⤷ Paper
(Conference Presentation)
24 slides  •  ~ 25 mins  • 
13 Jan ' 20  Parameter Synthesis for Probabilistic Hyperproperties
thumbnail
LPAR 2020,  Virtual
 ⤷ Paper
(Conference Presentation)
23 slides  •