collaborators

5 papers

cs.RO2026

Inspect Robots: Evaluating the Capabilities and Safety of Embodied AI

Christopher Leet, Achu Menon, Sravanthi Machcha +12

General purpose language models are increasingly able to control robotic hardware. Understanding the capabilities and safety of these models when embodied is therefore increasingly…

cs.HC2026

Refuses in Chat, Complies with Arms: LLM Refusal Does Not Survive Robot Control

Edward Sun, Christopher Leet, Sravanthi Machcha +4

Frontier language models reliably refuse to explain how to cause physical harm. We ask whether this refusal survives when the same models control a robot. We introduce RoboHarm, a…

cs.RO2026

Eventually Optimal and Scalable Multi-Agent Planning for Block Cave Mining

Christopher Leet, Paolo Forte, Uwe Köckemann +2

Automation in underground mining has the potential to significantly enhance safety, operational efficiency, and sustainability. However, effectively coordinating fleets of autonomo…

cs.RO2025

An Anytime, Scalable and Complete Algorithm for Embedding a Manufacturing Procedure in a Smart Factory

Christopher Leet, Aidan Sciortino, Sven Koenig

Modern automated factories increasingly run manufacturing procedures using a matrix of programmable machines, such as 3D printers, interconnected by a programmable transport system…

cs.RO2025

Jointly Assigning Processes to Machines and Generating Plans for Autonomous Mobile Robots in a Smart Factory

Christopher Leet, Aidan Sciortino, Sven Koenig

A modern smart factory runs a manufacturing procedure using a collection of programmable machines. Typically, materials are ferried between these machines using a team of mobile ro…