{"id":"https://openalex.org/W4399399641","doi":"https://doi.org/10.48550/arxiv.2406.00826","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","display_name":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","publication_year":2024,"publication_date":"2024-06-02","ids":{"openalex":"https://openalex.org/W4399399641","doi":"https://doi.org/10.48550/arxiv.2406.00826"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2406.00826","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.00826","pdf_url":"https://arxiv.org/pdf/2406.00826","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2406.00826","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073020318","display_name":"Thom Badings","orcid":"https://orcid.org/0000-0002-5235-1967"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Badings, Thom","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041856292","display_name":"W.J. Koops","orcid":"https://orcid.org/0000-0001-9945-1992"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Koops, Wietze","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Junges, Sebastian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5012669709","display_name":"Nils Jansen","orcid":"https://orcid.org/0000-0003-1318-8973"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jansen, Nils","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T10320","display_name":"Neural Networks and Applications","score":0.9261000156402588,"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"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9261000156402588,"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/artificial-neural-network","display_name":"Artificial neural network","score":0.6573532819747925},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5922071933746338},{"id":"https://openalex.org/keywords/stochastic-neural-network","display_name":"Stochastic neural network","score":0.47325876355171204},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41701897978782654},{"id":"https://openalex.org/keywords/recurrent-neural-network","display_name":"Recurrent neural network","score":0.22145673632621765}],"concepts":[{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.6573532819747925},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5922071933746338},{"id":"https://openalex.org/C86582703","wikidata":"https://www.wikidata.org/wiki/Q7617824","display_name":"Stochastic neural network","level":4,"score":0.47325876355171204},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41701897978782654},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.22145673632621765}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2406.00826","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.00826","pdf_url":"https://arxiv.org/pdf/2406.00826","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2406.00826","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2406.00826","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:oai:arXiv.org:2406.00826","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2406.00826","pdf_url":"https://arxiv.org/pdf/2406.00826","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6834831930","display_name":"Mathematical Foundations of Intelligence: An "Erlangen Programme" for AI","funder_award_id":"EP/Y028872/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399399641.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2378845890","https://openalex.org/W4206589881","https://openalex.org/W1584270863","https://openalex.org/W2085961337","https://openalex.org/W2390500492","https://openalex.org/W180587397","https://openalex.org/W2391951449","https://openalex.org/W2085068378","https://openalex.org/W2371928941","https://openalex.org/W2319800497"],"abstract_inverted_index":{"We":[0,17,83],"consider":[1],"the":[2,27,47,142],"verification":[3,58],"of":[4,49,65,144],"neural":[5,32,37,66],"network":[6,38],"policies":[7],"for":[8,26,55,76],"discrete-time":[9],"stochastic":[10],"systems":[11],"with":[12,71,79,147],"respect":[13],"to":[14,88,122],"reach-avoid":[15,43,51,77,145],"specifications.":[16],"use":[18],"a":[19,24,31,41,50,57,119],"learner-verifier":[20],"procedure":[21],"that":[22,35],"learns":[23],"certificate":[25,39],"specification,":[28],"represented":[29],"as":[30,149,151],"network.":[33],"Verifying":[34],"this":[36],"is":[40],"so-called":[42],"supermartingale":[44],"(RASM)":[45],"proves":[46],"satisfaction":[48,143],"specification.":[52],"Existing":[53],"approaches":[54,69],"such":[56],"task":[59],"rely":[60],"on":[61,127,131],"computed":[62],"Lipschitz":[63,73,91,114,128],"constants":[64,92,129],"networks.":[67],"These":[68],"struggle":[70],"large":[72],"constants,":[74],"especially":[75],"specifications":[78,146],"high":[80,150],"threshold":[81],"probabilities.":[82],"present":[84,118],"two":[85],"key":[86],"contributions":[87],"obtain":[89],"smaller":[90,105],"than":[93,107],"existing":[94],"approaches.":[95],"First,":[96],"we":[97,117,138],"introduce":[98],"logarithmic":[99],"RASMs":[100,108],"(logRASMs),":[101],"which":[102],"take":[103],"exponentially":[104],"values":[106],"and":[109],"hence":[110],"have":[111],"lower":[112],"theoretical":[113],"constants.":[115],"Second,":[116],"fast":[120],"method":[121],"compute":[123],"tighter":[124],"upper":[125],"bounds":[126],"based":[130],"weighted":[132],"norms.":[133],"Our":[134],"empirical":[135],"evaluation":[136],"shows":[137],"can":[139],"consistently":[140],"verify":[141],"probabilities":[148],"99.9999%.":[152]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2024-06-07T00:00:00"}