Raven Beutner

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)

Logical Methods in Computer Science

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