Raven Beutner

Publications

[BF24c]	Non-Deterministic Planning for Hyperproperty Verification. With Bernd Finkbeiner. 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), to appear.
[BF24b]	Hyper Strategy Logic. With Bernd Finkbeiner. 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024), to appear.
[BFFM24]	Monitoring Second-Order Hyperproperties. With Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 23rd International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2024), to appear.
[B24]	Automated Software Verification of Hyperliveness. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024), to appear.
[BF24a]	On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing. With Bernd Finkbeiner. 38th Conference on Artificial Intelligence (AAAI 2024).
[BFFS23]	Checking and Sketching Causes on Temporal Sequences. With Bernd Finkbeiner, Hadar Frenkel, and Julian Siber. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[BFFM23]	Second-Order Hyperproperties. With Bernd Finkbeiner, Hadar Frenkel and Niklas Metzger. 35th International Conference on Computer Aided Verification (CAV 2023).
[BF23c]	Model Checking Omega-Regular Hyperproperties with AutoHyperQ. With Bernd Finkbeiner. 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2023).
[BF23b]	HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems. With Bernd Finkbeiner. Logical Methods in Computer Science (LMCS). CONCUR 2021 Special Issue.
[BF23a]	AutoHyper: Explicit-State Model Checking for HyperLTL. With Bernd Finkbeiner. SCP Best Paper Award. 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023).
[BF22b]	Software Verification of Hyperproperties Beyond k-Safety. With Bernd Finkbeiner. CAV Distinguished Paper Award. 34th International Conference on Computer Aided Verification (CAV 2022).
[BF22a]	Prophecy Variables for Hyperproperty Verification. With Bernd Finkbeiner. 35th IEEE Computer Security Foundations Symposium (CSF 2022).
[BCFHK22]	Deciding Hyperproperties Combined with Functional Specifications. With David Carral, Bernd Finkbeiner, Jana Hofmann, and Markus Krötzsch. 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022).
[BOZ22]	Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming. With Luke Ong and Fabian Zaiser. 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022).
[BF21]	A Temporal Logic for Strategic Hyperproperties. With Bernd Finkbeiner. 32nd International Conference on Concurrency Theory (CONCUR 2021).
[BO21]	On Probabilistic Termination of Functional Programs with Continuous Distributions. With Luke Ong. 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021).
[BFH19]	Translating Asynchronous Games for Distributed Synthesis. With Bernd Finkbeiner, and Jesko Hecking-Harbusch. 30th International Conference on Concurrency Theory (CONCUR 2019).

Theses

On Termination of Higher-Order Recursive Programs with Continuous Distributions	Master’s Thesis, University of Oxford, 2020
Translating Asynchronous Games for Distributed Synthesis	Bachelor’s Thesis, Saarland University, 2019

Scientific Service

• Subreviewer for TACAS 2022, NFM 2022, CONCUR 2022, TACAS 2023, ATVA 2023, VMCAI 2024, STACS 2024

Teaching

Summer 2023	Advisor for Seminar Hyperproperties
Summer 2022	Advisor for Proseminar From Program Verification to Synthesis
Summer 2022	Advisor for Seminar Neural-Symbolic Computing
Summer 2019	Coach for Mathematics Precourse
Summer 2019	Student TA for Introduction to Computational Logic
Summer 2018	Coach for Mathematics Precourse
Winter 2017	Student TA for Programming 1
Summer 2017	Student TA for Mathematics Precourse
Winter 2016	Re-exam Student TA for Programming 1