{"id":"https://openalex.org/W7150786515","doi":"https://doi.org/10.48550/arxiv.2604.02939","title":"Importance Sampling for Statistical Certification of Viable Initial Sets","display_name":"Importance Sampling for Statistical Certification of Viable Initial Sets","publication_year":2026,"publication_date":"2026-04-03","ids":{"openalex":"https://openalex.org/W7150786515","doi":"https://doi.org/10.48550/arxiv.2604.02939"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.02939","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02939","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.02939","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133021770","display_name":"Elizabeth Dietrich","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dietrich, Elizabeth","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065905965","display_name":"Hanna Krasowski","orcid":"https://orcid.org/0000-0002-6730-3802"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krasowski, Hanna","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133000573","display_name":"Vegard Flovik","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Flovik, Vegard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133056184","display_name":"Murat Arcak","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Arcak, Murat","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/T10142","display_name":"Formal Methods in Verification","score":0.27309998869895935,"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.27309998869895935,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.10429999977350235,"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/T11413","display_name":"Risk and Portfolio Optimization","score":0.06859999895095825,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.53329998254776},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.5085999965667725},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4456000030040741},{"id":"https://openalex.org/keywords/importance-sampling","display_name":"Importance sampling","score":0.42899999022483826},{"id":"https://openalex.org/keywords/adaptive-sampling","display_name":"Adaptive sampling","score":0.4027999937534332},{"id":"https://openalex.org/keywords/acceptance-sampling","display_name":"Acceptance sampling","score":0.3824999928474426}],"concepts":[{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.53329998254776},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.5085999965667725},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47870001196861267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4652000069618225},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4456000030040741},{"id":"https://openalex.org/C52740198","wikidata":"https://www.wikidata.org/wiki/Q1539564","display_name":"Importance sampling","level":3,"score":0.42899999022483826},{"id":"https://openalex.org/C2781395549","wikidata":"https://www.wikidata.org/wiki/Q4680762","display_name":"Adaptive sampling","level":3,"score":0.4027999937534332},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40119999647140503},{"id":"https://openalex.org/C53947966","wikidata":"https://www.wikidata.org/wiki/Q3546732","display_name":"Acceptance sampling","level":3,"score":0.3824999928474426},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.35510000586509705},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.3197000026702881},{"id":"https://openalex.org/C113644684","wikidata":"https://www.wikidata.org/wiki/Q1356717","display_name":"Statistical process control","level":3,"score":0.29980000853538513},{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.29249998927116394},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.263700008392334},{"id":"https://openalex.org/C107464732","wikidata":"https://www.wikidata.org/wiki/Q235781","display_name":"Adaptive control","level":3,"score":0.26330000162124634},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.2612000107765198}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.02939","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02939","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.02939","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.02939","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,38,83,100],"study":[1],"the":[2,48,102,105,116],"problem":[3],"of":[4,13,50,104,115],"statistically":[5],"certifying":[6],"viable":[7],"initial":[8,14],"sets":[9,12],"(VISs)":[10],"--":[11],"conditions":[15],"whose":[16],"trajectories":[17],"satisfy":[18],"a":[19,40,54,72],"given":[20],"control":[21],"specification.":[22],"While":[23],"VISs":[24,45],"can":[25],"be":[26,64],"obtained":[27],"from":[28],"model-based":[29],"methods,":[30],"these":[31,61],"methods":[32],"typically":[33],"rely":[34],"on":[35,108,119],"simplified":[36],"models.":[37],"propose":[39,71],"simulation-based":[41],"framework":[42,74],"to":[43,67,79],"certify":[44],"by":[46],"estimating":[47],"probability":[49],"specification":[51],"violations":[52,62],"under":[53],"high-fidelity":[55],"or":[56],"black-box":[57],"model.":[58],"Since":[59],"detecting":[60],"may":[63],"challenging":[65],"due":[66],"their":[68],"scarcity,":[69],"we":[70],"sample-efficient":[73],"that":[75],"leverages":[76],"importance":[77,97],"sampling":[78,98],"target":[80],"high-risk":[81],"regions.":[82],"derive":[84],"an":[85,120],"empirical":[86],"Bernstein":[87],"inequality":[88],"for":[89,96],"weighted":[90],"random":[91],"variables,":[92],"enabling":[93],"finite-sample":[94],"guarantees":[95],"estimators.":[99],"demonstrate":[101],"effectiveness":[103],"proposed":[106],"approach":[107],"two":[109],"systems":[110],"and":[111],"show":[112],"improved":[113],"convergence":[114],"resulting":[117],"bounds":[118],"Adaptive":[121],"Cruise":[122],"Control":[123],"benchmark.":[124]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-04-07T00:00:00"}