Raven Beutner

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

Collaborative distances:

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

2024

Hyper Strategy Logic.

Raven Beutner, Bernd Finkbeiner

CoRR, 2024

Automated Software Verification of Hyperliveness.

Raven Beutner

Proceedings of the Tools and Algorithms for the Construction and Analysis of 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