| 2025 | ECAI | On Conformant Planning and Model-Checking of ∃ | Raven Beutner, Bernd Finkbeiner |
| 2025 | FMCAD | On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information. | Raven Beutner, Bernd Finkbeiner |
| 2025 | KR | Strategy Logic, Imperfect Information, and Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2024 | AAAI | On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. | Raven Beutner, Bernd Finkbeiner |
| 2024 | ATVA | Checking Satisfiability of Hyperproperties Using First-Order Logic. | Raven Beutner, Bernd Finkbeiner |
| 2024 | CAV | Syntax-Guided Automated Program Repair for Hyperproperties. | Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner |
| 2024 | FM | Visualizing Game-Based Certificates for Hyperproperty Verification. | Raven Beutner, Bernd Finkbeiner, Angelina Gbl |
| 2024 | ICAPS | Non-deterministic Planning for Hyperproperty Verification. | Raven Beutner, Bernd Finkbeiner |
| 2024 | TACAS | Automated Software Verification of Hyperliveness. | Raven Beutner |
| 2023 | ATVA | Checking and Sketching Causes on Temporal Sequences. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber |
| 2023 | CAV | Second-Order Hyperproperties. | Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger |
| 2023 | LPAR | Model Checking Omega-Regular Hyperproperties with AutoHyperQ. | Raven Beutner, Bernd Finkbeiner |
| 2023 | TACAS | AutoHyper: Explicit-State Model Checking for HyperLTL. | Raven Beutner, Bernd Finkbeiner |
| 2022 | CAV | Software Verification of Hyperproperties Beyond k-Safety. | Raven Beutner, Bernd Finkbeiner |
| 2022 | LICS | Deciding Hyperproperties Combined with Functional Specifications. | Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krtzsch |
| 2022 | PLDI | Guaranteed bounds for posterior inference in universal probabilistic programming. | Raven Beutner, C.-H. Luke Ong, Fabian Zaiser |
| 2021 | CONCUR | A Temporal Logic for Strategic Hyperproperties. | Raven Beutner, Bernd Finkbeiner |
| 2021 | PLDI | On probabilistic termination of functional programs with continuous distributions. | Raven Beutner, Luke Ong |
| 2019 | CONCUR | Translating Asynchronous Games for Distributed Synthesis. | Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch |