{"id":"https://openalex.org/W7131434879","doi":"https://doi.org/10.48550/arxiv.2602.20359","title":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","display_name":"StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis","publication_year":2026,"publication_date":"2026-02-23","ids":{"openalex":"https://openalex.org/W7131434879","doi":"https://doi.org/10.48550/arxiv.2602.20359"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.20359","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058201964","display_name":"Rayan Mazouz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mazouz, Rayan","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012269939","display_name":"Frederik Baymler Mathiesen","orcid":"https://orcid.org/0000-0002-2243-0445"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathiesen, Frederik Baymler","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5126837724","display_name":"Luca Laurenti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Laurenti, Luca","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5126798874","display_name":"Morteza Lahijanian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lahijanian, Morteza","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5058201964"],"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/T10142","display_name":"Formal Methods in Verification","score":0.49720001220703125,"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/T10142","display_name":"Formal Methods in Verification","score":0.49720001220703125,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.11659999936819077,"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"}},{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.08309999853372574,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.7598000168800354},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.5770999789237976},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5210000276565552},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5080000162124634},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.47769999504089355},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4381999969482422},{"id":"https://openalex.org/keywords/piecewise-linear-function","display_name":"Piecewise linear function","score":0.430400013923645},{"id":"https://openalex.org/keywords/stochastic-gradient-descent","display_name":"Stochastic gradient descent","score":0.421099990606308},{"id":"https://openalex.org/keywords/gradient-descent","display_name":"Gradient descent","score":0.3953999876976013}],"concepts":[{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.7598000168800354},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.5770999789237976},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5509999990463257},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5210000276565552},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5080000162124634},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4812999963760376},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4726000130176544},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4381999969482422},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.430400013923645},{"id":"https://openalex.org/C206688291","wikidata":"https://www.wikidata.org/wiki/Q7617819","display_name":"Stochastic gradient descent","level":3,"score":0.421099990606308},{"id":"https://openalex.org/C153258448","wikidata":"https://www.wikidata.org/wiki/Q1199743","display_name":"Gradient descent","level":3,"score":0.3953999876976013},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.38119998574256897},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.37470000982284546},{"id":"https://openalex.org/C115527620","wikidata":"https://www.wikidata.org/wiki/Q769909","display_name":"Nonlinear programming","level":3,"score":0.36910000443458557},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3361000120639801},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32120001316070557},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3043999969959259},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2720000147819519},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.27079999446868896},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C2776637919","wikidata":"https://www.wikidata.org/wiki/Q624380","display_name":"Descent (aeronautics)","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.20359","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.20359","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.20359","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.20359","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"StochasticBarrier.jl,":[2],"an":[3],"open-source":[4],"Julia-based":[5],"toolbox":[6,49],"for":[7,13,37,75],"generating":[8],"Stochastic":[9],"Barrier":[10],"Functions":[11],"(SBFs)":[12],"safety":[14,109,135],"verification":[15,36],"of":[16,41,130],"discrete-time":[17],"stochastic":[18],"systems":[19],"with":[20],"additive":[21],"Gaussian":[22],"noise.":[23],"StochasticBarrier.jl":[24,69,95,124],"certifies":[25],"linear,":[26],"polynomial,":[27],"and":[28,87,112,138],"piecewise":[29,62],"affine":[30],"(PWA)":[31],"systems.":[32,141],"The":[33,48],"latter":[34],"enables":[35],"a":[38,51],"wide":[39],"range":[40],"system":[42],"dynamics,":[43],"including":[44],"general":[45],"nonlinear":[46],"types.":[47],"implements":[50],"Sum-of-Squares":[52],"(SOS)":[53],"optimization":[54],"approach,":[55],"as":[56,58],"well":[57],"methods":[59],"based":[60,89],"on":[61,90],"constant":[63],"(PWC)":[64],"functions.":[65],"For":[66],"SOS-based":[67],"SBFs,":[68,77],"leverages":[70],"semi-definite":[71],"programming":[72,85],"solvers,":[73],"while":[74],"PWC":[76],"it":[78],"offers":[79],"three":[80],"engines:":[81],"two":[82],"using":[83],"linear":[84],"(LP)":[86],"one":[88],"gradient":[91],"descent":[92],"(GD).":[93],"Benchmarking":[94],"against":[96],"the":[97,101],"state-of-the-art":[98],"shows":[99],"that":[100],"tool":[102],"outperforms":[103],"existing":[104],"tools":[105],"in":[106],"computation":[107],"time,":[108],"probability":[110,136],"bounds,":[111],"scalability":[113],"across":[114],"over":[115],"30":[116],"case":[117],"studies.":[118],"Compared":[119],"to":[120,127],"its":[121],"closest":[122],"competitor,":[123],"is":[125],"up":[126],"four":[128],"orders":[129],"magnitude":[131],"faster,":[132],"achieves":[133],"significant":[134],"improvements,":[137],"supports":[139],"higher-dimensional":[140]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-26T00:00:00"}