{"id":"https://openalex.org/W3176851232","doi":"https://doi.org/10.1145/3457335.3461705","title":"Towards trustworthy AI","display_name":"Towards trustworthy AI","publication_year":2021,"publication_date":"2021-05-19","ids":{"openalex":"https://openalex.org/W3176851232","doi":"https://doi.org/10.1145/3457335.3461705","mag":"3176851232"},"language":"en","primary_location":{"id":"doi:10.1145/3457335.3461705","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457335.3461705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","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/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["ETH Zurich"],"affiliations":[{"raw_affiliation_string":"ETH Zurich","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001005006","display_name":"Bingzhuo Zhong","orcid":"https://orcid.org/0000-0001-6557-2374"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bingzhuo Zhong","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060442004","display_name":"Marco Caccamo","orcid":"https://orcid.org/0000-0003-2328-044X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Caccamo","raw_affiliation_strings":["Technical University of Munich"],"affiliations":[{"raw_affiliation_string":"Technical University of Munich","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030109984","display_name":"Majid Zamani","orcid":"https://orcid.org/0000-0001-6608-3708"},"institutions":[{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]},{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Majid Zamani","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5011080021"],"corresponding_institution_ids":["https://openalex.org/I35440088"],"apc_list":null,"apc_paid":null,"fwci":0.8878,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77669036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"7","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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.9983999729156494,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9939000010490417,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7798131704330444},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.6269201636314392},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5921533107757568},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5718644261360168},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5574672222137451},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.5521848201751709},{"id":"https://openalex.org/keywords/trustworthiness","display_name":"Trustworthiness","score":0.5162796378135681},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5155013203620911},{"id":"https://openalex.org/keywords/compromise","display_name":"Compromise","score":0.44391655921936035},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4367794692516327},{"id":"https://openalex.org/keywords/systems-architecture","display_name":"Systems architecture","score":0.4133548140525818},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37223172187805176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3352014422416687},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32519862055778503}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7798131704330444},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.6269201636314392},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5921533107757568},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5718644261360168},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5574672222137451},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5521848201751709},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.5162796378135681},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5155013203620911},{"id":"https://openalex.org/C46355384","wikidata":"https://www.wikidata.org/wiki/Q726686","display_name":"Compromise","level":2,"score":0.44391655921936035},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4367794692516327},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.4133548140525818},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37223172187805176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3352014422416687},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32519862055778503},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3457335.3461705","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457335.3461705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2024716653","https://openalex.org/W2948317123","https://openalex.org/W2969446727","https://openalex.org/W3128899300","https://openalex.org/W7071016841"],"related_works":["https://openalex.org/W2801622120","https://openalex.org/W2164141394","https://openalex.org/W4240977217","https://openalex.org/W3036524962","https://openalex.org/W2508088450","https://openalex.org/W2389434635","https://openalex.org/W4309684329","https://openalex.org/W3023544629","https://openalex.org/W2783183134","https://openalex.org/W2377713644"],"abstract_inverted_index":{"Artificial":[0],"intelligence-based":[1],"(a.k.a.":[2],"AI-based)":[3],"controllers":[4,41,69,149],"have":[5],"received":[6],"significant":[7],"attentions":[8],"in":[9,19,51,70,154],"the":[10,85,96,107,111,114,126,139,155],"past":[11],"few":[12],"years":[13],"due":[14],"to":[15,23],"their":[16],"broad":[17],"applications":[18],"cyber-physical":[20],"systems":[21],"(CPSs)":[22],"accomplish":[24],"complex":[25],"control":[26,156],"missions.":[27],"However,":[28],"guaranteeing":[29],"safety":[30,94,101,112,132],"and":[31,88,93,98],"reliability":[32],"of":[33,39,48,95,113,128,131,142],"CPSs":[34],"equipped":[35],"with":[36,58],"this":[37,59,118],"kind":[38],"(uncertified)":[40],"is":[42,47],"currently":[43],"very":[44],"challenging,":[45],"which":[46,81,134],"vital":[49],"importance":[50],"many":[52],"real-life":[53],"safety-critical":[54],"applications.":[55],"To":[56],"cope":[57],"difficulty,":[60],"we":[61,120],"propose":[62],"a":[63,78,100],"Safe-visor":[64],"architecture":[65],"for":[66],"sandboxing":[67],"AI-based":[68,86,108,148],"stochastic":[71],"CPSs.":[72],"The":[73],"proposed":[74],"framework":[75],"contains":[76],"(i)":[77],"history-based":[79],"supervisor":[80],"checks":[82],"inputs":[83],"from":[84],"controller":[87,109],"makes":[89],"compromise":[90],"between":[91],"functionality":[92],"system,":[97],"(ii)":[99],"advisor":[102],"that":[103],"provides":[104],"fallback":[105],"when":[106],"endangers":[110],"system.":[115],"By":[116],"employing":[117],"architecture,":[119],"provide":[121],"formal":[122],"probabilistic":[123],"guarantees":[124],"on":[125],"satisfaction":[127],"those":[129],"classes":[130],"specifications":[133],"can":[135,150],"be":[136,152],"represented":[137],"by":[138],"accepting":[140],"languages":[141],"deterministic":[143],"finite":[144],"automata":[145],"(DFA),":[146],"while":[147],"still":[151],"employed":[153],"loop":[157],"even":[158],"though":[159],"they":[160],"are":[161],"not":[162],"reliable.":[163]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}