{"id":"https://openalex.org/W7202166331","doi":"https://doi.org/10.5281/zenodo.21888041","title":"Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence","display_name":"Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence","publication_year":2026,"publication_date":"2026-08-11","ids":{"openalex":"https://openalex.org/W7202166331","doi":"https://doi.org/10.5281/zenodo.21888041"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.21888041","doi":"https://doi.org/10.5281/zenodo.21888041","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21888041","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.21888041","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5126518238","display_name":"Varun Pratap Bhardwaj","orcid":"https://orcid.org/0009-0002-8726-4289","observed_orcids":["https://orcid.org/0009-0002-8726-4289"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bhardwaj, Varun Pratap","raw_affiliation_strings":["Qualixar"],"raw_orcid":"https://orcid.org/0009-0002-8726-4289","affiliations":[{"raw_affiliation_string":"Qualixar","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141090360","display_name":"Garima Singh","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Singh, Garima","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5146145644","display_name":"Arun Pratap Bhardwaj","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bhardwaj, Arun Pratap","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.21879999339580536,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.21879999339580536,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.20569999516010284,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.10029999911785126,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/independence-assumption","display_name":"independence assumption","score":0.44999998807907104},{"id":"https://openalex.org/keywords/multi-agent-systems","display_name":"multi-agent systems","score":0.5870000123977661},{"id":"https://openalex.org/keywords/partial-identification","display_name":"partial identification","score":0.5099999904632568},{"id":"https://openalex.org/keywords/copulas","display_name":"copulas","score":0.4659999907016754},{"id":"https://openalex.org/keywords/linear-programming","display_name":"linear programming","score":0.671999990940094}],"concepts":[{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6434999704360962},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.6406999826431274},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5619999766349792},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5303999781608582},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4869999885559082},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47530001401901245},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4406999945640564},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.396699994802475},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.37310001254081726},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.3587999939918518},{"id":"https://openalex.org/C79772020","wikidata":"https://www.wikidata.org/wiki/Q5159264","display_name":"Conditional independence","level":2,"score":0.34950000047683716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3490000069141388},{"id":"https://openalex.org/C201729545","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability theory","level":3,"score":0.3303000032901764},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.3125},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.2833000123500824},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.2727999985218048},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2572999894618988},{"id":"https://openalex.org/C101433766","wikidata":"https://www.wikidata.org/wiki/Q3543263","display_name":"Maturity (psychological)","level":2,"score":0.2513999938964844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.21888041","doi":"https://doi.org/10.5281/zenodo.21888041","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21888041","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.21888041","doi":"https://doi.org/10.5281/zenodo.21888041","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21888041","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7213894325","https://openalex.org/W7161982879","https://openalex.org/W7130615426","https://openalex.org/W7117254887","https://openalex.org/W7204882943","https://openalex.org/W7131872410","https://openalex.org/W7160905631","https://openalex.org/W7155525912","https://openalex.org/W7128912465","https://openalex.org/W7169866223"],"abstract_inverted_index":{"The":[0],"Agent":[1],"Behavioral":[2],"Contracts":[3],"(ABC)":[4],"framework":[5,189],"certifies":[6],"a":[7,13,35,85,113,119,148,163,198],"composed":[8],"AI-agent":[9],"pipeline's":[10],"reliability":[11,128,202],"by":[12,71,143],"compositional":[14,36],"lower":[15],"bound":[16,155],"valid":[17],"under":[18],"five":[19],"conditions,":[20],"the":[21,59,105,126,157,168,181,186],"last":[22],"of":[23,28,58,82,125],"which":[24],"(C5)":[25],"is":[26,42,108,117,197],"independence":[27,106],"stage":[29],"failures.":[30],"This":[31,195],"paper":[32],"asks":[33],"what":[34],"certificate":[37],"can":[38],"promise":[39],"when":[40],"C5":[41],"false":[43],"-":[44,122],"as":[45,132,174],"it":[46],"routinely":[47],"is,":[48],"because":[49],"multi-agent":[50],"pipelines":[51],"are":[52,103,178,193],"commonly":[53],"built":[54],"from":[55],"several":[56],"instances":[57],"same":[60],"frontier":[61],"model.":[62],"On":[63],"real":[64],"retail":[65],"and":[66,112,162,190],"financial":[67],"agent":[68],"tasks":[69],"scored":[70],"deterministic":[72],"gold":[73],"code,":[74],"we":[75],"measure":[76],"large":[77],"cross-agent":[78],"failure":[79],"overlap":[80],"(74-90%":[81],"failures":[83],"shared;":[84],"capability-diverse":[86],"cross-architecture":[87],"pair":[88],"shows":[89],"perfectly":[90],"nested":[91],"failures,":[92],"Fisher":[93],"exact":[94,153],"p":[95],"=":[96],"3e-43).":[97],"We":[98,146],"show":[99],"two":[100],"natural":[101],"certificates":[102],"unsound:":[104],"product":[107],"anti-conservative":[109],"for":[110,140],"redundancy,":[111],"fitted":[114],"Gaussian-copula":[115],"floor":[116],"not":[118],"finite-sample":[120],"guarantee":[121],"its":[123],"coverage":[124],"true":[127],"collapses":[129],"to":[130,200,205],"zero":[131],"data":[133],"accrue":[134],"(a":[135],"partial-identification":[136],"obstruction,":[137],"reached":[138],"concurrently":[139],"parallel":[141],"ensembles":[142],"Chen":[144],"2026).":[145],"give":[147],"sound":[149],"tiered":[150],"certificate:":[151],"an":[152],"Clopper-Pearson":[154],"on":[156],"directly":[158],"observed":[159],"all-success":[160],"event,":[161],"copula-agnostic":[164],"linear":[165],"program":[166],"over":[167],"identification":[169],"set":[170],"that":[171],"tightens":[172],"monotonically":[173],"more":[175],"co-execution":[176],"moments":[177],"supplied.":[179],"With":[180],"v1":[182],"patent":[183],"claim":[184],"withdrawn,":[185],"full":[187],"ABC":[188],"every":[191],"formula":[192],"disclosed.":[194],"work":[196],"contribution":[199],"AI":[201],"engineering.":[203],"Companion":[204],"arXiv:2602.22302.":[206]},"counts_by_year":[],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2026-08-12T00:00:00"}