Topic: formal-methods

Safe Agent Execution Gets Localized Obligations

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