{"id":"https://openalex.org/W7168172376","doi":"https://doi.org/10.1016/j.artint.2026.104588","title":"Causal explanations of safety property violations in discrete event systems","display_name":"Causal explanations of safety property violations in discrete event systems","publication_year":2026,"publication_date":"2026-07-13","ids":{"openalex":"https://openalex.org/W7168172376","doi":"https://doi.org/10.1016/j.artint.2026.104588"},"language":"en","primary_location":{"id":"doi:10.1016/j.artint.2026.104588","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.artint.2026.104588","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","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/A5140555248","display_name":"Gregor G\u00f6ssler","orcid":"https://orcid.org/0000-0002-8852-1964"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gregor G\u00f6ssler","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8852-1964","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5140521317","display_name":"Thomas Mari","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Mari","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044034021","display_name":"Yannick Pencol\u00e9","orcid":"https://orcid.org/0000-0002-2970-914X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yannick Pencol\u00e9","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2970-914X","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5032269664","display_name":"Louise Trav\u00e9-Massuy\u00e8s","orcid":"https://orcid.org/0000-0002-5322-8418"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Louise Trav\u00e9-Massuy\u00e8s","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-5322-8418","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.89408836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"358","issue":null,"first_page":"104588","last_page":"104588"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.31150001287460327,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.31150001287460327,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.08540000021457672,"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/T10142","display_name":"Formal Methods in Verification","score":0.05889999866485596,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6920999884605408},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5913000106811523},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.2892000079154968},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.2870999872684479},{"id":"https://openalex.org/keywords/causal-model","display_name":"Causal model","score":0.2578999996185303}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6920999884605408},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5913000106811523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5648000240325928},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31779998540878296},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.2892000079154968},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.2870999872684479},{"id":"https://openalex.org/C11671645","wikidata":"https://www.wikidata.org/wiki/Q5054567","display_name":"Causal model","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C2987896495","wikidata":"https://www.wikidata.org/wiki/Q5416716","display_name":"Event data","level":3,"score":0.25380000472068787},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24379999935626984},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.2433999925851822}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.artint.2026.104588","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.artint.2026.104588","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5570926666259766}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1966547590","https://openalex.org/W1979472512","https://openalex.org/W1985787415","https://openalex.org/W2007588592","https://openalex.org/W2034797990","https://openalex.org/W2051993457","https://openalex.org/W2056888327","https://openalex.org/W2065086898","https://openalex.org/W2078739227","https://openalex.org/W2090119576","https://openalex.org/W2100505193","https://openalex.org/W2137819283","https://openalex.org/W2891226953","https://openalex.org/W2963095307","https://openalex.org/W3040802234","https://openalex.org/W4220725863","https://openalex.org/W4225150645","https://openalex.org/W4318911561","https://openalex.org/W4386142022","https://openalex.org/W4393307230","https://openalex.org/W4400135851","https://openalex.org/W4410980697","https://openalex.org/W4414229905"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2026-07-14T00:00:00"}