Aisola

I will be giving a talk at AISoLA 2024 in the Verification and Learning for Assured Autonomy track, on “Mechanism Design for Multi-Agent Planning in Robotics.”