{"id":"https://openalex.org/W4414360684","doi":"https://doi.org/10.24963/ijcai.2025/52","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","display_name":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360684","doi":"https://doi.org/10.24963/ijcai.2025/52"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/52","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/52","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030511969","display_name":"S. G. Lutz","orcid":null},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sterre Lutz","raw_affiliation_strings":["Delft University of Technology,"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075395956","display_name":"Matthijs T. J. Spaan","orcid":"https://orcid.org/0009-0002-2858-8611"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Matthijs T.J. Spaan","raw_affiliation_strings":["Delft University of Technology,"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072246123","display_name":"Anna Lukina","orcid":"https://orcid.org/0000-0001-9525-0333"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Anna Lukina","raw_affiliation_strings":["Delft University of Technology,"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology,","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030511969"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31319293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"457","last_page":"465"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.7390000224113464,"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"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.7390000224113464,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.8580999970436096},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5296000242233276},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5288000106811523},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.45010000467300415},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4399999976158142},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4311999976634979},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.4117000102996826},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.3896999955177307}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8580999970436096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.61080002784729},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5296000242233276},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5288000106811523},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.45010000467300415},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4399999976158142},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4311999976634979},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.4117000102996826},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.3896999955177307},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.367900013923645},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3675000071525574},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3646000027656555},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.352400004863739},{"id":"https://openalex.org/C101403955","wikidata":"https://www.wikidata.org/wiki/Q6707083","display_name":"Lyapunov optimization","level":5,"score":0.3479999899864197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34369999170303345},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.3176000118255615},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.31619998812675476},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C2983030100","wikidata":"https://www.wikidata.org/wiki/Q638328","display_name":"Nonlinear dynamical systems","level":3,"score":0.28870001435279846},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2849999964237213},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.28279998898506165},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.27000001072883606},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.26820001006126404},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2597000002861023}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/52","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/52","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"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":{"Autonomous":[0],"systems":[1],"operating":[2],"in":[3,56,101,133],"the":[4,33,45,52,61,78,96],"real":[5],"world":[6],"encounter":[7],"a":[8,17,57,102,109],"range":[9],"of":[10,23,60,105],"uncertainties.":[11],"Probabilistic":[12],"neural":[13,73,135],"Lyapunov":[14],"certification":[15],"is":[16,69],"powerful":[18],"approach":[19],"to":[20,44,81],"proving":[21],"safety":[22],"nonlinear":[24],"stochastic":[25,87],"dynamical":[26,88],"systems.":[27,89],"When":[28],"faced":[29],"with":[30],"changes":[31,53],"beyond":[32],"modeled":[34],"uncertainties,":[35],"e.g.,":[36],"unidentified":[37],"obstacles,":[38],"probabilistic":[39,93,131],"certificates":[40,94],"must":[41],"be":[42],"transferred":[43],"new":[46],"system":[47,97],"dynamics.":[48],"However,":[49],"even":[50],"when":[51,95],"are":[54],"localized":[55],"known":[58],"part":[59],"state":[62],"space,":[63],"state-of-the-art":[64],"requires":[65],"complete":[66],"re-certification,":[67],"which":[68],"particularly":[70],"costly":[71],"for":[72,85],"certificates.":[74],"We":[75,107],"introduce":[76],"VeRecycle,":[77],"first":[79],"framework":[80],"formally":[82],"reclaim":[83],"guarantees":[84,132],"discrete-time":[86],"VeRecycle":[90,122],"efficiently":[91],"reuses":[92],"dynamics":[98],"deviate":[99],"only":[100],"given":[103],"subset":[104],"states.":[106],"present":[108],"general":[110],"theoretical":[111],"justification":[112],"and":[113,128],"algorithmic":[114],"implementation.":[115],"Our":[116],"experimental":[117],"evaluation":[118],"shows":[119],"scenarios":[120],"where":[121],"both":[123],"saves":[124],"significant":[125],"computational":[126],"effort":[127],"achieves":[129],"competitive":[130],"compositional":[134],"control.":[136],"Code":[137],"\u2014":[138,142],"https://github.com/SUMI-lab/VeRecycle":[139],"Extended":[140],"version":[141],"https://doi.org/10.48550/arXiv.2505.14001":[143]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}