Application: Safe execution

Safe Agent Execution Gets Localized Obligations

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