{"id":"https://openalex.org/W4386021065","doi":"https://doi.org/10.1007/978-3-031-40837-3_11","title":"Enhancing Trust in Machine Learning Systems by Formal Methods","display_name":"Enhancing Trust in Machine Learning Systems by Formal Methods","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386021065","doi":"https://doi.org/10.1007/978-3-031-40837-3_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-40837-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-40837-3_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-031-40837-3_11","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011182422","display_name":"Christina Tavolato-W\u00f6tzl","orcid":null},"institutions":[{"id":"https://openalex.org/I2916638547","display_name":"Austro Control (Austria)","ror":"https://ror.org/01aa99w95","country_code":"AT","type":"company","lineage":["https://openalex.org/I2916638547"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christina Tavolato-W\u00f6tzl","raw_affiliation_strings":["Austro Control Digital Services GmbH, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Austro Control Digital Services GmbH, Vienna, Austria","institution_ids":["https://openalex.org/I2916638547"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048784616","display_name":"Paul Tavolato","orcid":null},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Paul Tavolato","raw_affiliation_strings":["Research Group Security and Privacy, University of Vienna, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Research Group Security and Privacy, University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5048784616"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.5207,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65790982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"170","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9998000264167786,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9926000237464905,"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/computer-science","display_name":"Computer science","score":0.8366536498069763},{"id":"https://openalex.org/keywords/proposition","display_name":"Proposition","score":0.6935023069381714},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6491236686706543},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6221098899841309},{"id":"https://openalex.org/keywords/domain-knowledge","display_name":"Domain knowledge","score":0.5592599511146545},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.4972238838672638},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49539434909820557},{"id":"https://openalex.org/keywords/expert-system","display_name":"Expert system","score":0.4660056531429291},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4505895674228668},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4397064745426178},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.41274234652519226},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.30857834219932556},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.24826055765151978},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21990221738815308}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8366536498069763},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.6935023069381714},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6491236686706543},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6221098899841309},{"id":"https://openalex.org/C207685749","wikidata":"https://www.wikidata.org/wiki/Q2088941","display_name":"Domain knowledge","level":2,"score":0.5592599511146545},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.4972238838672638},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49539434909820557},{"id":"https://openalex.org/C58328972","wikidata":"https://www.wikidata.org/wiki/Q184609","display_name":"Expert system","level":2,"score":0.4660056531429291},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4505895674228668},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4397064745426178},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.41274234652519226},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.30857834219932556},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.24826055765151978},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21990221738815308},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-40837-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-40837-3_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-40837-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-40837-3_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W43336110","https://openalex.org/W1516256348","https://openalex.org/W1520443109","https://openalex.org/W1787224781","https://openalex.org/W2520858206","https://openalex.org/W2569349941","https://openalex.org/W2582336686","https://openalex.org/W2802093198","https://openalex.org/W2891503716","https://openalex.org/W2917767525","https://openalex.org/W2927351257","https://openalex.org/W2945976633","https://openalex.org/W2962772482","https://openalex.org/W2962924847","https://openalex.org/W2963374347","https://openalex.org/W2972376180","https://openalex.org/W2981731882","https://openalex.org/W3081090156","https://openalex.org/W3134592248","https://openalex.org/W3137844837","https://openalex.org/W3212509273","https://openalex.org/W4210828651","https://openalex.org/W4213313560","https://openalex.org/W4224259999","https://openalex.org/W6604736924"],"related_works":["https://openalex.org/W2743849214","https://openalex.org/W2395092600","https://openalex.org/W4256616184","https://openalex.org/W2186155471","https://openalex.org/W632005469","https://openalex.org/W2000803355","https://openalex.org/W2921792786","https://openalex.org/W1752292405","https://openalex.org/W1830892038","https://openalex.org/W2388729575"],"abstract_inverted_index":{"With":[0],"the":[1,10,24,29,40,43,55,58,64,73,77,81,84,89,93,105,110,134,155,169,173,176,182,185,191,199,202,209,214,219,225,237],"deployment":[2],"of":[3,15,26,32,42,54,57,63,72,83,109,126,175,184,227,240],"applications":[4],"based":[5,195],"on":[6,88,196],"machine":[7,94],"learning":[8,95],"techniques":[9],"need":[11],"for":[12,165,243],"understandable":[13],"explanations":[14],"these":[16],"systems\u2019":[17],"results":[18,56,87],"becomes":[19],"evident.":[20],"This":[21,45],"paper":[22,98,223],"clarifies":[23],"concept":[25],"an":[27,33,52,102],"\u201cexplanation\u201d:":[28],"main":[30],"goal":[31],"explanation":[34,82,103],"is":[35,116,137,171,179,194,216],"to":[36,70,100,149,208,230],"build":[37],"trust":[38],"in":[39,61,76,104,142],"recipient":[41],"explanation.":[44],"can":[46,204],"only":[47],"be":[48,205],"achieved":[49],"by":[50,92,129],"creating":[51],"understanding":[53],"AI":[59,85,135,177],"systems":[60],"terms":[62],"users\u2019":[65],"domain":[66,114,156,186,220],"knowledge.":[67,187,221],"In":[68],"contrast":[69],"most":[71],"approaches":[74],"found":[75],"literature,":[78],"which":[79],"base":[80],"system\u2019s":[86,111],"model":[90,121,160,183,189],"provided":[91,128],"algorithm,":[96],"this":[97,152,166,211,228],"tries":[99],"find":[101],"specific":[106],"expert":[107],"knowledge":[108,115],"users.":[112],"The":[113,131,188,222],"defined":[117],"as":[118,139],"a":[119,124,140,143,231],"formal":[120],"derived":[122],"from":[123,133,235],"set":[125],"if-then-rules":[127],"experts.":[130],"result":[132,174],"system":[136,178],"represented":[138],"proposition":[141,153,215],"temporal":[144],"logic.":[145],"Now":[146],"we":[147],"attempt":[148],"formally":[150],"prove":[151],"within":[154],"model.":[157],"We":[158],"use":[159],"checking":[161],"algorithms":[162],"and":[163,197],"tools":[164],"purpose.":[167],"If":[168],"proof":[170,203],"successful,":[172],"consistent":[180,217],"with":[181,218],"contains":[190],"rules":[192],"it":[193],"hence":[198],"path":[200],"representing":[201],"translated":[206],"back":[207],"rules:":[210],"explains,":[212],"why":[213],"describes":[224],"application":[226],"approach":[229],"real":[232],"world":[233],"example":[234],"meteorology,":[236],"short-term":[238],"forecasting":[239],"cloud":[241],"coverage":[242],"particular":[244],"locations.":[245]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}