Robot Type: Agentic systems

Safe Agent Execution Gets Localized Obligations

HALO proposes localized obligations for admitting and supervising heterogeneous agent actions safely.