{"id":"https://openalex.org/W4316813665","doi":"https://doi.org/10.1145/3580490","title":"Risk of Stochastic Systems for Temporal Logic Specifications","display_name":"Risk of Stochastic Systems for Temporal Logic Specifications","publication_year":2023,"publication_date":"2023-01-17","ids":{"openalex":"https://openalex.org/W4316813665","doi":"https://doi.org/10.1145/3580490"},"language":"en","primary_location":{"id":"doi:10.1145/3580490","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3580490","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-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/A5027184150","display_name":"Lars Lindemann","orcid":"https://orcid.org/0000-0003-3430-6625"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lars Lindemann","raw_affiliation_strings":["University of Southern California, Los Angeles, CA, USA"],"affiliations":[{"raw_affiliation_string":"University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036485812","display_name":"Lejun Jiang","orcid":"https://orcid.org/0000-0001-9051-2218"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lejun Jiang","raw_affiliation_strings":["Nuro, Mountain View, CA USA"],"affiliations":[{"raw_affiliation_string":"Nuro, Mountain View, CA USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052941508","display_name":"Nikolai Matni","orcid":"https://orcid.org/0000-0003-4936-3921"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikolai Matni","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, Pennsylvania, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029243115","display_name":"George J. Pappas","orcid":"https://orcid.org/0000-0001-9081-0637"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"George J. Pappas","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, Pennsylvania, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, Pennsylvania, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5027184150"],"corresponding_institution_ids":["https://openalex.org/I1174212"],"apc_list":null,"apc_paid":null,"fwci":1.8153,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86673908,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"22","issue":"3","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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.9979000091552734,"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/T11099","display_name":"Autonomous Vehicle Technology and Safety","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9789999723434448,"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/robustness","display_name":"Robustness (evolution)","score":0.8833139538764954},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7823854088783264},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48603469133377075},{"id":"https://openalex.org/keywords/rare-events","display_name":"Rare events","score":0.4343544542789459},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.41057026386260986},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24727600812911987},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11708885431289673}],"concepts":[{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.8833139538764954},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7823854088783264},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48603469133377075},{"id":"https://openalex.org/C2777317252","wikidata":"https://www.wikidata.org/wiki/Q18393516","display_name":"Rare events","level":2,"score":0.4343544542789459},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.41057026386260986},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24727600812911987},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11708885431289673},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3580490","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3580490","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":87,"referenced_works":["https://openalex.org/W199736301","https://openalex.org/W1516256348","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1647779468","https://openalex.org/W1935692274","https://openalex.org/W1945616565","https://openalex.org/W1972402079","https://openalex.org/W1975219867","https://openalex.org/W1988645907","https://openalex.org/W2033118636","https://openalex.org/W2049399166","https://openalex.org/W2062072417","https://openalex.org/W2124515734","https://openalex.org/W2145339207","https://openalex.org/W2147263744","https://openalex.org/W2167799541","https://openalex.org/W2255983427","https://openalex.org/W2470448410","https://openalex.org/W2571161957","https://openalex.org/W2590655739","https://openalex.org/W2617250276","https://openalex.org/W2624912704","https://openalex.org/W2760388230","https://openalex.org/W2765424254","https://openalex.org/W2785700716","https://openalex.org/W2787596386","https://openalex.org/W2810334434","https://openalex.org/W2886031349","https://openalex.org/W2900153411","https://openalex.org/W2902907165","https://openalex.org/W2957311447","https://openalex.org/W2963082836","https://openalex.org/W2963445246","https://openalex.org/W2963931816","https://openalex.org/W2964130946","https://openalex.org/W2964219244","https://openalex.org/W2970233506","https://openalex.org/W2972404875","https://openalex.org/W2972486407","https://openalex.org/W2974039857","https://openalex.org/W2979249584","https://openalex.org/W2980274526","https://openalex.org/W2980304492","https://openalex.org/W2982906969","https://openalex.org/W2998145016","https://openalex.org/W3003004875","https://openalex.org/W3010924044","https://openalex.org/W3016152408","https://openalex.org/W3021487874","https://openalex.org/W3031140285","https://openalex.org/W3033405017","https://openalex.org/W3037346665","https://openalex.org/W3095539121","https://openalex.org/W3101375348","https://openalex.org/W3101384075","https://openalex.org/W3102942490","https://openalex.org/W3103557498","https://openalex.org/W3119655085","https://openalex.org/W3119715844","https://openalex.org/W3124407081","https://openalex.org/W3133387630","https://openalex.org/W3141118763","https://openalex.org/W3154464254","https://openalex.org/W3164694001","https://openalex.org/W3166231878","https://openalex.org/W3176015044","https://openalex.org/W3197449148","https://openalex.org/W3201032916","https://openalex.org/W3201105524","https://openalex.org/W3202248056","https://openalex.org/W3214882770","https://openalex.org/W4211192810","https://openalex.org/W4226340769","https://openalex.org/W4241056347","https://openalex.org/W4244457856","https://openalex.org/W4286968944","https://openalex.org/W4287018552","https://openalex.org/W4287766251","https://openalex.org/W4287776850","https://openalex.org/W4293580221","https://openalex.org/W4301084947","https://openalex.org/W4307333035","https://openalex.org/W4309073135","https://openalex.org/W4310300362","https://openalex.org/W6780201437","https://openalex.org/W6810302566"],"related_works":["https://openalex.org/W592475739","https://openalex.org/W4286001025","https://openalex.org/W4221164095","https://openalex.org/W4301429894","https://openalex.org/W2949713685","https://openalex.org/W189973795","https://openalex.org/W4283744928","https://openalex.org/W1533557569","https://openalex.org/W4281621428","https://openalex.org/W4316813665"],"abstract_inverted_index":{"The":[0],"wide":[1,79],"availability":[2],"of":[3,32,35,74,81,114,154],"data":[4,144],"coupled":[5],"with":[6],"the":[7,68,92,107,112,142,148,165,168,172,184,197,204,226,242],"computational":[8],"advances":[9],"in":[10,85,141,177,241],"artificial":[11],"intelligence":[12],"and":[13,70,90,100,138,157,167,247],"machine":[14],"learning":[15],"promise":[16],"to":[17,55,133,180],"enable":[18],"many":[19],"future":[20],"technologies":[21],"such":[22,48,163],"as":[23,94,111,124,164,189],"autonomous":[24,243],"driving.":[25],"While":[26,171],"there":[27],"has":[28],"been":[29,43],"a":[30,52,58,65,78,95,190,250],"variety":[31],"successful":[33],"demonstrations":[34],"these":[36],"technologies,":[37],"critical":[38],"system":[39,49,82,93,125,136,214,266],"failures":[40,50,126],"have":[41],"repeatedly":[42],"reported.":[44],"Even":[45],"if":[46],"rare,":[47],"pose":[51],"serious":[53],"barrier":[54],"adoption":[56],"without":[57],"rigorous":[59,71],"risk":[60,72,110,113,155,161,175,188,208,230],"assessment.":[61],"This":[62,120],"article":[63],"presents":[64],"framework":[66],"for":[67,263],"systematic":[69],"verification":[73,239],"systems.":[75],"We":[76,104,201,236],"consider":[77],"range":[80],"specifications":[83],"formulated":[84],"signal":[86],"temporal":[87],"logic":[88],"(STL)":[89],"model":[91],"stochastic":[96,102,219],"process,":[97],"permitting":[98],"discrete-time":[99,218],"continuous-time":[101],"processes.":[103],"then":[105],"define":[106],"STL":[108,173,186,198,206,228],"robustness":[109,116,132,174,187,199,207,229],"lacking":[115],"against":[117],"failure":[118],".":[119],"definition":[121],"is":[122,176],"motivated":[123],"are":[127],"often":[128],"caused":[129],"by":[130],"missing":[131],"modeling":[134],"errors,":[135],"disturbances,":[137],"distribution":[139],"shifts":[140],"underlying":[143],"generating":[145],"process.":[146],"Within":[147],"definition,":[149],"we":[150,182,221],"permit":[151],"general":[152,178],"classes":[153],"measures":[156,162],"focus":[158],"on":[159],"tail":[160],"value-at-risk":[166],"conditional":[169],"value-at-risk.":[170],"hard":[179],"compute,":[181],"propose":[183],"approximate":[185,205,227],"more":[191],"tractable":[192],"notion":[193],"that":[194],"upper":[195],"bounds":[196],"risk.":[200],"show":[202,222,248],"how":[203,249],"can":[209,231,254],"accurately":[210],"be":[211,233,255],"estimated":[212],"from":[213],"trajectory":[215],"data.":[216],"For":[217],"processes,":[220],"under":[223],"which":[224],"conditions":[225],"even":[232],"computed":[234],"exactly.":[235],"illustrate":[237],"our":[238],"algorithm":[240],"driving":[244],"simulator":[245],"CARLA":[246],"least":[251],"risky":[252],"controller":[253],"selected":[256],"among":[257],"four":[258],"neural":[259],"network":[260],"lane-keeping":[261],"controllers":[262],"five":[264],"meaningful":[265],"specifications.":[267]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}