Qualis Health

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...

Where will the cat cross the road? Comparing camera and GPS-based models for identifying wildlife corridors

Designing effective wildlife corridors is a critical conservation challenge in fragmented landscapes. GPS-based step selection functions strongly predict dispersal corridors and connectivity, but GPS collaring can be expensive and invasive. Camera-based occupancy models are widel...