I attended Dagstuhl Seminar 24361 on "Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy."

I attended Dagstuhl Seminar 24361 on “Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy” and gave a spotlight talk on “Risk-aware planning in constrained multi-agent systems.”