Send email Copy Email Address
PhD Student

Raven Beutner

Email

Phone

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Publications by Raven Beutner

Year 2025

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)

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)