E-mail senden E-Mail Adresse kopieren
Doktorand:in

Raven Beutner

E-Mail

Telefon

Adresse

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Raven Beutner

Jahr 2025

Jahr 2024

Konferenz / Medium

Computer Aided Verification (CAV)

Konferenz / Medium

International Conference on Automated Planning and Scheduling (ICAPS)

Konferenz / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Konferenz / Medium

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

Konferenz / Medium

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

Konferenz / Medium

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

Jahr 2023

Konferenz / Medium

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

Konferenz / Medium

Computer Aided Verification (CAV)

Konferenz / Medium

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