Raven Beutner

Formal Methods (FM)

Computer Aided Verification (CAV)

International Conference on Automated Planning and Scheduling (ICAPS)

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

International Conference on Autonomous Agents and Multiagent Systems (AAMAS)

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

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

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

Computer Aided Verification (CAV)

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