![]() | Up a level |
(2022) Prophecy Variables for Hyperproperty Verification.
(2022) Software Verification of Hyperproperties Beyond k-Safety.
(2022) Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
(2022) Deciding Hyperproperties Combined with Functional Specifications.
(2021) A Temporal Logic for Strategic Hyperproperties.
(2021) On Probabilistic Termination of Functional Programs with Continuous Distributions.
(2019) Translating Asynchronous Games for Distributed Synthesis.