Raven Beutner

48 papers A* 6A 5B 5Journal 25Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Checking Satisfiability of Hyperproperties using First-Order Logic.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 A conf
Multiplayer Games With Incomplete Information for Hyperproperty Verification.
AAMAS
Raven Beutner, Bernd Finkbeiner
2025 A conf
On Conformant Planning and Model-Checking of ∃
ECAI
Raven Beutner, Bernd Finkbeiner
2025 J jnl
On Conformant Planning and Model-Checking of ∃
CoRR
Raven Beutner, Bernd Finkbeiner
2025 B conf
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.
FMCAD
Raven Beutner, Bernd Finkbeiner
2025 J jnl
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Predicate abstraction for hyperliveness verification.
Formal Methods Syst. Des.
Raven Beutner, Bernd Finkbeiner
2025 A* conf
Strategy Logic, Imperfect Information, and Hyperproperties.
KR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Strategy Logic, Imperfect Information, and Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Verifying Asynchronous Hyperproperties in Reactive Systems.
CoRR
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Verifying Asynchronous Hyperproperties in Reactive Systems.
Proc. ACM Program. Lang.
Raven Beutner, Bernd Finkbeiner
2025 J jnl
Visualizing Game-Based Certificates for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
2024 — conf
Automated Software Verification of Hyperliveness.
TACAS (2)
Raven Beutner
2024 J jnl
Automated Software Verification of Hyperliveness.
CoRR
Raven Beutner
2024 — conf
Checking Satisfiability of Hyperproperties Using First-Order Logic.
ATVA (2)
Raven Beutner, Bernd Finkbeiner
2024 A conf
Hyper Strategy Logic.
AAMAS
Raven Beutner, Bernd Finkbeiner
2024 J jnl
Hyper Strategy Logic.
CoRR
Raven Beutner, Bernd Finkbeiner
2024 A conf
Monitoring Second-Order Hyperproperties.
AAMAS
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 J jnl
Monitoring Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2024 J jnl
Non-Deterministic Planning for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner
2024 A* conf
Non-deterministic Planning for Hyperproperty Verification.
ICAPS
Raven Beutner, Bernd Finkbeiner
2024 A* conf
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.
AAAI
Raven Beutner, Bernd Finkbeiner
2024 — conf
Syntax-Guided Automated Program Repair for Hyperproperties.
CAV (3)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 J jnl
Syntax-Guided Automated Program Repair for Hyperproperties.
CoRR
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
2024 — conf
Visualizing Game-Based Certificates for Hyperproperty Verification.
FM (2)
Raven Beutner, Bernd Finkbeiner, Angelina Göbl
2023 — conf
AutoHyper: Explicit-State Model Checking for HyperLTL.
TACAS (1)
Raven Beutner, Bernd Finkbeiner
2023 J jnl
AutoHyper: Explicit-State Model Checking for HyperLTL.
CoRR
Raven Beutner, Bernd Finkbeiner
2023 B conf
Checking and Sketching Causes on Temporal Sequences.
ATVA
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
2023 J jnl
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems.
Log. Methods Comput. Sci.
Raven Beutner, Bernd Finkbeiner
2023 B conf
Model Checking Omega-Regular Hyperproperties with AutoHyperQ.
LPAR
Raven Beutner, Bernd Finkbeiner
2023 J jnl
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing.
CoRR
Raven Beutner, Bernd Finkbeiner
2023 — conf
Second-Order Hyperproperties.
CAV (2)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2023 J jnl
Second-Order Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
2022 J jnl
A Logic for Hyperproperties in Multi-Agent Systems.
CoRR
Raven Beutner, Bernd Finkbeiner
2022 A* conf
Deciding Hyperproperties Combined with Functional Specifications.
LICS
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 J jnl
Deciding Hyperproperties Combined with Functional Specifications.
CoRR
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
2022 J jnl
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming.
CoRR
Raven Beutner, Luke Ong, Fabian Zaiser
2022 A* conf
Guaranteed bounds for posterior inference in universal probabilistic programming.
PLDI
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
2022 A conf
Prophecy Variables for Hyperproperty Verification.
CSF
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Prophecy Variables for Hyperproperty Verification.
CoRR
Raven Beutner, Bernd Finkbeiner
2022 — conf
Software Verification of Hyperproperties Beyond k-Safety.
CAV (1)
Raven Beutner, Bernd Finkbeiner
2022 J jnl
Software Verification of Hyperproperties Beyond k-Safety.
CoRR
Raven Beutner, Bernd Finkbeiner
2021 B conf
A Temporal Logic for Strategic Hyperproperties.
CONCUR
Raven Beutner, Bernd Finkbeiner
2021 J jnl
A Temporal Logic for Strategic Hyperproperties.
CoRR
Raven Beutner, Bernd Finkbeiner
2021 J jnl
On Probabilistic Termination of Functional Programs with Continuous Distributions.
CoRR
Raven Beutner, Luke Ong
2021 A* conf
On probabilistic termination of functional programs with continuous distributions.
PLDI
Raven Beutner, Luke Ong
2019 J jnl
Translating Asynchronous Games for Distributed Synthesis (Full Version).
CoRR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2019 B conf
Translating Asynchronous Games for Distributed Synthesis.
CONCUR
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch