Send email Copy Email Address
PhD Student

Raven Beutner

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Raven Beutner

Year 2025

Article

International Journal on Software Tools for Technology Transfer

chapter

Automated Technology for Verification and Analysis

Year 2024

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

International Conference on Automated Planning and Scheduling (ICAPS)

Conference / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Conference / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Conference / Medium

National Conference of the American Association for Artificial Intelligence (AAAI)

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Year 2023

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)