Raven Beutner

According to our database, Raven Beutner authored at least 23 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HyRep: Automated Program Repair For Hyperproperties.

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Dataset, April, 2024

HyRep: Automated Program Repair For Hyperproperties.

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Dataset, April, 2024

Automated Software Verification of Hyperliveness.

Raven Beutner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Non-deterministic Planning for Hyperproperty Verification.

Raven Beutner, Bernd Finkbeiner

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

Visualizing Game-Based Certificates for Hyperproperty Verification.

Raven Beutner, Bernd Finkbeiner, Angelina Göbl

Proceedings of the Formal Methods - 26th International Symposium, 2024

Syntax-Guided Automated Program Repair for Hyperproperties.

Raven Beutner, Tzu-Han Hsu, Borzoo Bonakdarpour, Bernd Finkbeiner

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Monitoring Second-Order Hyperproperties.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Hyper Strategy Logic.

Raven Beutner, Bernd Finkbeiner

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing.

Raven Beutner, Bernd Finkbeiner

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems.

Raven Beutner, Bernd Finkbeiner

Log. Methods Comput. Sci., 2023

AutoHyper: Explicit-State Model Checking for HyperLTL.

Raven Beutner, Bernd Finkbeiner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Model Checking Omega-Regular Hyperproperties with AutoHyperQ.

Raven Beutner, Bernd Finkbeiner

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Second-Order Hyperproperties.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Checking and Sketching Causes on Temporal Sequences.

Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

A Logic for Hyperproperties in Multi-Agent Systems.

Raven Beutner, Bernd Finkbeiner

CoRR, 2022

Guaranteed bounds for posterior inference in universal probabilistic programming.

Raven Beutner, C.-H. Luke Ong, Fabian Zaiser

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Deciding Hyperproperties Combined with Functional Specifications.

Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Prophecy Variables for Hyperproperty Verification.

Raven Beutner, Bernd Finkbeiner

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

Software Verification of Hyperproperties Beyond k-Safety.

Raven Beutner, Bernd Finkbeiner

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

On probabilistic termination of functional programs with continuous distributions.

Raven Beutner, Luke Ong

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

A Temporal Logic for Strategic Hyperproperties.

Raven Beutner, Bernd Finkbeiner

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2019

Translating Asynchronous Games for Distributed Synthesis (Full Version).

Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch

CoRR, 2019

Translating Asynchronous Games for Distributed Synthesis.

Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch

Proceedings of the 30th International Conference on Concurrency Theory, 2019