@misc{indiciaef328180d343d, title = {Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents}, author = {Varun Pratap Bhardwaj}, year = {2026}, doi = {10.5281/zenodo.18775393}, url = {https://arxiv.org/abs/2602.22302}, note = {Source identifier: 2602.22302} }