{"id":"https://openalex.org/W6930601820","doi":"https://doi.org/10.5281/zenodo.15313260","title":"NeuralStoc: A Tool for Neural Stochastic Control and Verification","display_name":"NeuralStoc: A Tool for Neural Stochastic Control and Verification","publication_year":2025,"publication_date":"2025-04-30","ids":{"openalex":"https://openalex.org/W6930601820","doi":"https://doi.org/10.5281/zenodo.15313260"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.15313260","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15313260","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.15313260","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ansaripour, Matin","orcid":"https://orcid.org/0009-0009-3295-4320"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Ansaripour, Matin","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne"],"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Chatterjee, Krishnendu","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Chatterjee, Krishnendu","raw_affiliation_strings":["Institute of Science and Technology Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Science and Technology Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Henzinger, Thomas","orcid":"https://orcid.org/0000-0002-2985-7724"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Henzinger, Thomas","raw_affiliation_strings":["Institute of Science and Technology Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Science and Technology Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lechner, Mathias","orcid":"https://orcid.org/0000-0002-6117-0076"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lechner, Mathias","raw_affiliation_strings":["Massachusetts Institute of Technology"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Verma, Abhinav","orcid":"https://orcid.org/0000-0002-9820-8285"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Verma, Abhinav","raw_affiliation_strings":["The Pennsylvania State University - University Park Campus"],"affiliations":[{"raw_affiliation_string":"The Pennsylvania State University - University Park Campus","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":null,"display_name":"\u017dikeli\u0107, \u0110or\u0111e","orcid":"https://orcid.org/0000-0002-4681-1699"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"\u017dikeli\u0107, \u0110or\u0111e","raw_affiliation_strings":["Singapore Management University"],"affiliations":[{"raw_affiliation_string":"Singapore Management University","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I5124864"],"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":true,"primary_topic":{"id":"https://openalex.org/T11553","display_name":"Acne and Rosacea Treatments and Effects","score":0.7851999998092651,"subfield":{"id":"https://openalex.org/subfields/2708","display_name":"Dermatology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11553","display_name":"Acne and Rosacea Treatments and Effects","score":0.7851999998092651,"subfield":{"id":"https://openalex.org/subfields/2708","display_name":"Dermatology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11559","display_name":"Retinoids in leukemia and cellular processes","score":0.1850000023841858,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T13467","display_name":"Drug-Induced Ocular Toxicity","score":0.00419999985024333,"subfield":{"id":"https://openalex.org/subfields/2731","display_name":"Ophthalmology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5067999958992004},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4690000116825104},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.444599986076355},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.44290000200271606},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4246000051498413},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.40220001339912415},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3882000148296356},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.3718999922275543}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7257000207901001},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5067999958992004},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4690000116825104},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.444599986076355},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.44290000200271606},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4246000051498413},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.40220001339912415},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3882000148296356},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37470000982284546},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3718999922275543},{"id":"https://openalex.org/C86582703","wikidata":"https://www.wikidata.org/wiki/Q7617824","display_name":"Stochastic neural network","level":4,"score":0.3634999990463257},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.33820000290870667},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3325999975204468},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.31839999556541443},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.29789999127388},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2957000136375427},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.2775000035762787},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.25690001249313354},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2565999925136566}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.15313260","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15313260","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.5281/zenodo.15313260","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.15313260","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,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.40452834963798523,"display_name":"Industry, innovation and infrastructure"}],"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,66],"present":[1],"NeuralStoc,":[2],"a":[3,38,43,52,69],"tool":[4,17,88],"for":[5,26,55],"neural":[6,27,39,44,97],"controller":[7,40],"synthesis":[8],"and":[9,19,63,81,100],"verification":[10,101],"in":[11,78,103],"discrete-time":[12],"stochastic":[13,28,98],"dynamical":[14],"systems.":[15],"The":[16],"implements":[18],"builds":[20],"upon":[21],"the":[22,84,90],"first":[23,91],"learner-verifier":[24],"framework":[25],"control":[29,99,111],"with":[30,42,57],"certificates,":[31],"by":[32],"jointly":[33],"learning":[34],"and/or":[35],"formally":[36],"verifying":[37],"together":[41],"supermartingale":[45],"certificate":[46],"of":[47,71,83],"its":[48],"correctness.":[49],"NeuralStoc":[50],"provides":[51],"unified":[53],"interface":[54],"analyses":[56],"respect":[58],"to":[59,75,92,95],"reachability,":[60],"safety,":[61],"reach-avoidance,":[62],"stability":[64],"specifications.":[65],"also":[67],"propose":[68],"number":[70],"optimizations,":[72],"which":[73],"lead":[74],"significant":[76],"improvements":[77],"practical":[79],"performance":[80],"scalability":[82],"framework.":[85],"Notably,":[86],"our":[87],"is":[89],"be":[93],"able":[94],"solve":[96],"tasks":[102],"4-dimensional":[104],"environments":[105],"(4D":[106],"state":[107],"space":[108],"+":[109],"2D":[110],"input":[112],"space).":[113]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}