Translating Asynchronous Games for Distributed Synthesis. - Raven Beutner; Bernd Finkbeiner; Jesko Hecking-Harbusch (CONCUR, 2019)

Translating Asynchronous Games for Distributed Synthesis (Full Version). - Raven Beutner; Bernd Finkbeiner; Jesko Hecking-Harbusch (CoRR, 2019)

A Temporal Logic for Strategic Hyperproperties. - Raven Beutner; Bernd Finkbeiner (CONCUR, 2021)

On probabilistic termination of functional programs with continuous distributions. - Raven Beutner; Luke Ong (PLDI, 2021)

Software Verification of Hyperproperties Beyond k-Safety. - Raven Beutner; Bernd Finkbeiner (CAV (1), 2022)

Prophecy Variables for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner (CSF, 2022)

Deciding Hyperproperties Combined with Functional Specifications. - Raven Beutner; David Carral; Bernd Finkbeiner; Jana Hofmann; Markus Krötzsch (LICS, 2022)

Guaranteed bounds for posterior inference in universal probabilistic programming. - Raven Beutner; C.-H. Luke Ong; Fabian Zaiser (PLDI, 2022)

A Logic for Hyperproperties in Multi-Agent Systems. - Raven Beutner; Bernd Finkbeiner (CoRR, 2022)

Artifact for: Rigorous bounds for posterior inference in universal probabilistic programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Artifact for: Rigorous bounds for posterior inference in universal probabilistic programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Artifact for: Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming (PLDI 2022). - Raven Beutner; Luke Ong; Fabian Zaiser (Zenodo, 2022)

Checking and Sketching Causes on Temporal Sequences. - Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Julian Siber (ATVA, 2023)

Second-Order Hyperproperties. - Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger 001 (CAV (2), 2023)

Model Checking Omega-Regular Hyperproperties with AutoHyperQ. - Raven Beutner; Bernd Finkbeiner (LPAR, 2023)

AutoHyper: Explicit-State Model Checking for HyperLTL. - Raven Beutner; Bernd Finkbeiner (TACAS (1), 2023)

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. - Raven Beutner; Bernd Finkbeiner (Log. Methods Comput. Sci., 2023)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. - Raven Beutner; Bernd Finkbeiner (AAAI, 2024)

Hyper Strategy Logic. - Raven Beutner; Bernd Finkbeiner (AAMAS, 2024)

Monitoring Second-Order Hyperproperties. - Raven Beutner; Bernd Finkbeiner; Hadar Frenkel; Niklas Metzger 001 (AAMAS, 2024)

Checking Satisfiability of Hyperproperties Using First-Order Logic. - Raven Beutner; Bernd Finkbeiner (ATVA (2), 2024)

Syntax-Guided Automated Program Repair for Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (CAV (3), 2024)

Visualizing Game-Based Certificates for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner; Angelina Göbl (FM (2), 2024)

Non-deterministic Planning for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner (ICAPS, 2024)

Automated Software Verification of Hyperliveness. - Raven Beutner (TACAS (2), 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

HyRep: Automated Program Repair For Hyperproperties. - Raven Beutner; Tzu-Han Hsu; Borzoo Bonakdarpour; Bernd Finkbeiner (Zenodo, 2024)

HyGaViz: Visualizing Game-Based Certificates for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner; Angelina Göbl (Zenodo, 2024)

Multiplayer Games With Incomplete Information for Hyperproperty Verification. - Raven Beutner; Bernd Finkbeiner (AAMAS, 2025)