Raven Beutner

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 33

Top Topics

Independence Assumption

Markov Chain Monte Carlo Methods

Marginal Probabilities

Top Venues

Publications

Raven Beutner, Bernd Finkbeiner
Hyper Strategy Logic. AAMAS (2024)
Raven Beutner, Bernd Finkbeiner
Non-deterministic Planning for Hyperproperty Verification. ICAPS (2024)
Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner
Syntax-Guided Automated Program Repair for Hyperproperties. CAV (3) (2024)
Raven Beutner
Automated Software Verification of Hyperliveness. CoRR (2024)
Raven Beutner
Automated Software Verification of Hyperliveness. TACAS (2) (2024)
Raven Beutner, Bernd Finkbeiner
On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. AAAI (2024)
Raven Beutner, Bernd Finkbeiner
Non-Deterministic Planning for Hyperproperty Verification. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. AAMAS (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Monitoring Second-Order Hyperproperties. CoRR (2024)
Raven Beutner, Bernd Finkbeiner
Hyper Strategy Logic. CoRR (2024)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CoRR (2023)
Raven Beutner, Bernd Finkbeiner
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. Log. Methods Comput. Sci. 19 (2) (2023)
Raven Beutner, Bernd Finkbeiner
Model Checking Omega-Regular Hyperproperties with AutoHyperQ. LPAR (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger
Second-Order Hyperproperties. CAV (2) (2023)
Raven Beutner, Bernd Finkbeiner
On Alternating-time Temporal Logic, Hyperproperties, and Strategy Sharing. CoRR (2023)
Raven Beutner, Bernd Finkbeiner
AutoHyper: Explicit-State Model Checking for HyperLTL. TACAS (1) (2023)
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber
Checking and Sketching Causes on Temporal Sequences. ATVA (2023)
Raven Beutner, Bernd Finkbeiner
AutoHyper: Explicit-State Model Checking for HyperLTL. CoRR (2023)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. CoRR (2022)
Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications. LICS (2022)
Raven Beutner, Bernd Finkbeiner
Prophecy Variables for Hyperproperty Verification. CSF (2022)
Raven Beutner, Bernd Finkbeiner
Software Verification of Hyperproperties Beyond k-Safety. CAV (1) (2022)
Raven Beutner, Luke Ong, Fabian Zaiser
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming. CoRR (2022)
Raven Beutner, Bernd Finkbeiner
Prophecy Variables for Hyperproperty Verification. CoRR (2022)
Raven Beutner, Bernd Finkbeiner
Software Verification of Hyperproperties Beyond k-Safety. CoRR (2022)
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
Guaranteed bounds for posterior inference in universal probabilistic programming. PLDI (2022)
Raven Beutner, Bernd Finkbeiner
A Logic for Hyperproperties in Multi-Agent Systems. CoRR (2022)
Raven Beutner, Luke Ong
On Probabilistic Termination of Functional Programs with Continuous Distributions. CoRR (2021)
Raven Beutner, Luke Ong
On probabilistic termination of functional programs with continuous distributions. PLDI (2021)
Raven Beutner, Bernd Finkbeiner
A Temporal Logic for Strategic Hyperproperties. CONCUR (2021)
Raven Beutner, Bernd Finkbeiner
A Temporal Logic for Strategic Hyperproperties. CoRR (2021)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Translating Asynchronous Games for Distributed Synthesis. CONCUR (2019)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
Translating Asynchronous Games for Distributed Synthesis (Full Version). CoRR (2019)