Number of items: 9.
Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Siber, Julian
(2023)
Checking and Sketching Causes on Temporal Sequences.
(Submitted)
Beutner, Raven and Finkbeiner, Bernd and Frenkel, Hadar and Metzger, Niklas
(2023)
Second-Order Hyperproperties.
Beutner, Raven and Finkbeiner, Bernd
(2022)
Prophecy Variables for Hyperproperty Verification.
(In Press)
Beutner, Raven and Finkbeiner, Bernd
(2022)
Software Verification of Hyperproperties Beyond k-Safety.
(In Press)
Beutner, Raven and Ong, C.H. Luke and Zaiser, Fabian
(2022)
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
(In Press)
Beutner, Raven and Carral, David and Finkbeiner, Bernd and Hofmann, Jana and Krötzsch, Markus
(2022)
Deciding Hyperproperties Combined with Functional Specifications.
(In Press)
Beutner, Raven and Finkbeiner, Bernd
(2021)
A Temporal Logic for Strategic Hyperproperties.
Beutner, Raven and Ong, Luke
(2021)
On Probabilistic Termination of Functional Programs
with Continuous Distributions.
Beutner, Raven and Finkbeiner, Bernd and Hecking-Harbusch, Jesko
(2019)
Translating Asynchronous Games for Distributed
Synthesis.
This list was generated on Wed Dec 11 10:55:47 2024 CET.