{"id":"https://openalex.org/W7138398691","doi":"https://doi.org/10.1145/3799710","title":"Conjunctive Bayesian Optimization ( <scp>conBO</scp> ): An Application to Cyber-Physical Systems Verification with Conjunctive Requirements","display_name":"Conjunctive Bayesian Optimization ( <scp>conBO</scp> ): An Application to Cyber-Physical Systems Verification with Conjunctive Requirements","publication_year":2026,"publication_date":"2026-03-17","ids":{"openalex":"https://openalex.org/W7138398691","doi":"https://doi.org/10.1145/3799710"},"language":"en","primary_location":{"id":"doi:10.1145/3799710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3799710","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3799710","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005789963","display_name":"Surdeep Chotaliya","orcid":null},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Surdeep Chotaliya","raw_affiliation_strings":["School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA"],"raw_orcid":"https://orcid.org/0009-0005-7099-149X","affiliations":[{"raw_affiliation_string":"School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040750463","display_name":"Tanmay Khandait","orcid":"https://orcid.org/0000-0002-5029-5607"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tanmay Khandait","raw_affiliation_strings":["School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA"],"raw_orcid":"https://orcid.org/0000-0002-5029-5607","affiliations":[{"raw_affiliation_string":"School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049158387","display_name":"Giulia Pedrielli","orcid":"https://orcid.org/0000-0001-6726-9790"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Giulia Pedrielli","raw_affiliation_strings":["School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA"],"raw_orcid":"https://orcid.org/0000-0001-6726-9790","affiliations":[{"raw_affiliation_string":"School of Computing and Augments Intelligence, Arizona State University, Tempe, Arizona, USA","institution_ids":["https://openalex.org/I55732556"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005789963"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4779148,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"3","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.4115000069141388,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.4115000069141388,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.26170000433921814,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.10520000010728836,"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/component","display_name":"Component (thermodynamics)","score":0.6650000214576721},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5612000226974487},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5421000123023987},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5080999732017517},{"id":"https://openalex.org/keywords/bayesian-optimization","display_name":"Bayesian optimization","score":0.5005999803543091},{"id":"https://openalex.org/keywords/optimization-problem","display_name":"Optimization problem","score":0.4422999918460846},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.39820000529289246},{"id":"https://openalex.org/keywords/estimation-of-distribution-algorithm","display_name":"Estimation of distribution algorithm","score":0.39320001006126404}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6650000214576721},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6150000095367432},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5612000226974487},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5080999732017517},{"id":"https://openalex.org/C2778049539","wikidata":"https://www.wikidata.org/wiki/Q17002908","display_name":"Bayesian optimization","level":2,"score":0.5005999803543091},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.48019999265670776},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.4422999918460846},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.41850000619888306},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.39820000529289246},{"id":"https://openalex.org/C162500139","wikidata":"https://www.wikidata.org/wiki/Q2835887","display_name":"Estimation of distribution algorithm","level":2,"score":0.39320001006126404},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.3716999888420105},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.3578000068664551},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3499000072479248},{"id":"https://openalex.org/C52740198","wikidata":"https://www.wikidata.org/wiki/Q1539564","display_name":"Importance sampling","level":3,"score":0.31610000133514404},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27320000529289246},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.2669999897480011},{"id":"https://openalex.org/C207201462","wikidata":"https://www.wikidata.org/wiki/Q182505","display_name":"Bayes' theorem","level":3,"score":0.26669999957084656},{"id":"https://openalex.org/C3309286","wikidata":"https://www.wikidata.org/wiki/Q4907693","display_name":"Bilevel optimization","level":3,"score":0.26030001044273376},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25769999623298645},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3799710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3799710","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3799710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3799710","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Cyber-Physical Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W75078828","https://openalex.org/W1510052597","https://openalex.org/W2018697056","https://openalex.org/W2033810643","https://openalex.org/W2061144551","https://openalex.org/W2072262316","https://openalex.org/W2155927283","https://openalex.org/W2169239645","https://openalex.org/W2172184261","https://openalex.org/W2556282465","https://openalex.org/W2759950027","https://openalex.org/W2773031903","https://openalex.org/W2963100367","https://openalex.org/W3002440596","https://openalex.org/W3046086400","https://openalex.org/W3086273157","https://openalex.org/W3119572193","https://openalex.org/W3120768405","https://openalex.org/W3129638015","https://openalex.org/W3177834213","https://openalex.org/W3184675347","https://openalex.org/W3197359847","https://openalex.org/W3204851156","https://openalex.org/W4224994162","https://openalex.org/W4282549856","https://openalex.org/W4285734633","https://openalex.org/W4313594663","https://openalex.org/W4388909755"],"related_works":[],"abstract_inverted_index":{"Bayesian":[0,83,143],"Optimization":[1,84,144],"(BO)":[2],"is":[3,15,43,191,274,280,293],"a":[4,45,93,98,148,157,209,261],"widely":[5],"used":[6],"technique":[7],"for":[8,100,130,188,251],"optimizing":[9,31],"black-box":[10,48],"functions,":[11],"whose":[12],"mathematical":[13],"form":[14],"unknown":[16],"and":[17,103,119,175,236,303,312,325],"can":[18,133],"only":[19],"be":[20,291],"evaluated":[21],"through":[22],"costly":[23],"simulations.":[24],"In":[25,78,283,315],"this":[26,89],"work,":[27,81],"we":[28,197],"focus":[29],"on":[30,106,215,232],"functions":[32,174,235],"that":[33,96,151,164,301],"are":[34,66],"the":[35,56,75,135,138,177,180,227,244,276,288,294,316,319],"\\(\\min/\\max\\)":[36],"of":[37,137,173,179,182,211,229,246,263,296],"several":[38,297],"components,":[39],"where":[40,60,269],"each":[41,101,116,131],"component":[42,102,117,132],"typically":[44],"non-linear,":[46],"non-convex":[47],"function.":[49],"Traditional":[50],"BO":[51],"approaches":[52,321],"may":[53],"suffer":[54],"from":[55],"masking":[57],"effect":[58],",":[59],"components":[61,168,212],"with":[62],"lower":[63],"mean":[64],"values":[65],"sampled":[67],"more,":[68],"even":[69],"if":[70,270],"they":[71],"do":[72],"not":[73,121],"contain":[74],"global":[76],"optimum.":[77],"our":[79],"prior":[80],"Minimum":[82],"(":[85,145,161,201],"minBO":[86,114],")":[87,163],"addressed":[88],"issue":[90],"by":[91,169,207],"proposing":[92],"sampling":[94,159],"approach":[95,150],"uses":[97],"surrogate":[99],"samples":[104],"based":[105,214],"predicted":[107],"improvement":[108],"across":[109,329],"all":[110,171,330],"components.":[111,126],"While":[112,185],"effective,":[113],"treats":[115],"independently":[118],"does":[120],"capture":[122],"potential":[123,217],"dependencies":[124,166],"between":[125,167],"Additionally,":[127],"estimating":[128,176],"surrogates":[129],"limit":[134],"scalability":[136],"approach.":[139],"We":[140,155,225],"introduce":[141,198],"Conjunctive":[142],"conBO":[146,199],"),":[147,203],"novel":[149],"overcomes":[152],"these":[153,230],"limitations.":[154],"propose":[156],"paired":[158],"algorithm":[160],"conBO-PS":[162,186,206,302],"considers":[165],"analyzing":[170],"pairs":[172],"distribution":[178],"minimum":[181,295],"two":[183],"functions.":[184],"accounts":[187],"dependencies,":[189],"it":[190],"computationally":[192],"expensive.":[193],"To":[194],"improve":[195],"efficiency,":[196],"large-scale":[200],"conBO-LS":[202,304],"which":[204],"adapts":[205],"considering":[208],"subset":[210],"chosen":[213],"their":[216],"impact,":[218],"allowing":[219],"users":[220],"to":[221,240,260,290],"control":[222],"computational":[223,313],"effort.":[224],"evaluate":[226],"performance":[228],"algorithms":[231],"non-linear":[233],"synthetic":[234],"also":[237],"compare":[238],"them":[239],"state-of-the-art":[241],"methods":[242],"in":[243,285],"context":[245,287],"falsifying":[247],"conjunctive":[248,256,278],"safety":[249,257,264],"requirements":[250],"Cyber-Physical":[252],"Systems":[253],"(CPS).":[254],"A":[255],"requirement":[258,279],"refers":[259],"set":[262],"conditions":[265],"(requirements)":[266],"tested":[267],"together,":[268],"at-least":[271],"one":[272],"condition":[273],"falsified,":[275],"entire":[277],"considered":[281],"falsified.":[282],"fact,":[284],"such":[286],"function":[289],"minimized":[292],"sub-components.":[298],"Results":[299],"show":[300],"outperform":[305],"existing":[306],"approaches,":[307],"offering":[308],"better":[309],"solution":[310],"quality":[311],"efficiency.":[314],"CPS":[317],"application,":[318],"proposed":[320],"achieve":[322],"faster":[323],"falsification":[324,327],"improved":[326],"rates":[328],"benchmarks.":[331]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2026-03-18T00:00:00"}