Topic: formal constraints

Safe Agent Execution Gets Localized Obligations

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