Statistical Model Checking for Probabilistic Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CoRR, 2019)

Hyperproperties for Robotics: Motion Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (CoRR, 2019)

Hyperproperties for Robotics: Planning via HyperLTL. - Yu Wang 044; Siddhartha Nalluri; Miroslav Pajic (ICRA, 2020)

Statistical Model Checking for Hyperproperties. - Yu Wang 044; Siddhartha Nalluri; Borzoo Bonakdarpour; Miroslav Pajic (CSF, 2021)