Garima Singh

Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence

Compositional reliability bounds for multi-agent systems multiply component reliabilities. That step is licensed by a conditional-independence assumption which is routinely stated and rarely tested. We test it. Two instances of one model, composed in a two-agent handoff, co-fail...

Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence

The Agent Behavioral Contracts (ABC) framework certifies a composed AI-agent pipeline's reliability by a compositional lower bound valid under five conditions, the last of which (C5) is independence of stage failures. This paper asks what a compositional certificate can promise w...