{"id":"https://openalex.org/W4381250365","doi":"https://doi.org/10.1109/access.2023.3287405","title":"Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning","display_name":"Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4381250365","doi":"https://doi.org/10.1109/access.2023.3287405"},"language":"en","primary_location":{"id":"doi:10.1109/access.2023.3287405","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3287405","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10155129.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10155129.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086302077","display_name":"Diogo Vaz","orcid":"https://orcid.org/0000-0002-5329-2401"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Diogo Vaz","raw_affiliation_strings":["INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-5329-2401","affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069918055","display_name":"David R. Matos","orcid":"https://orcid.org/0000-0001-6834-705X"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"David R. Matos","raw_affiliation_strings":["INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0001-6834-705X","affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088970281","display_name":"Miguel L. Pardal","orcid":"https://orcid.org/0000-0003-2872-7300"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Miguel L. Pardal","raw_affiliation_strings":["INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-2872-7300","affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016455665","display_name":"Miguel Correia","orcid":"https://orcid.org/0000-0001-7873-5531"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Miguel Correia","raw_affiliation_strings":["INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0001-7873-5531","affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior T&#x00E9;cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.569,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66888036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"11","issue":null,"first_page":"62394","last_page":"62408"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12288","display_name":"Optimization and Search Problems","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10273","display_name":"IoT and Edge/Fog Computing","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/algorithm","display_name":"Algorithm","score":0.8079009056091309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7875005006790161},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.6758469343185425},{"id":"https://openalex.org/keywords/byzantine-fault-tolerance","display_name":"Byzantine fault tolerance","score":0.5512255430221558},{"id":"https://openalex.org/keywords/distributed-algorithm","display_name":"Distributed algorithm","score":0.5087009072303772},{"id":"https://openalex.org/keywords/consensus-algorithm","display_name":"Consensus algorithm","score":0.48533669114112854},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4821776747703552},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.43379664421081543},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.414181113243103},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3969458341598511},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0750868022441864}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.8079009056091309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7875005006790161},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.6758469343185425},{"id":"https://openalex.org/C168021876","wikidata":"https://www.wikidata.org/wiki/Q1353446","display_name":"Byzantine fault tolerance","level":3,"score":0.5512255430221558},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.5087009072303772},{"id":"https://openalex.org/C2983222225","wikidata":"https://www.wikidata.org/wiki/Q2994424","display_name":"Consensus algorithm","level":2,"score":0.48533669114112854},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4821776747703552},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.43379664421081543},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.414181113243103},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3969458341598511},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0750868022441864}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2023.3287405","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3287405","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10155129.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:24b002d3d3a04e52988e0a825421174e","is_oa":true,"landing_page_url":"https://doaj.org/article/24b002d3d3a04e52988e0a825421174e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 11, Pp 62394-62408 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2023.3287405","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2023.3287405","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/10155129.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2441341484","display_name":"Instituto de Engenharia de Sistemas e Computadores, Investiga\u00e7\u00e3o e Desenvolvimento em Lisboa","funder_award_id":"UIDB/50021/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7338539241","display_name":null,"funder_award_id":"UIDB/50021/2020 (INESC-ID)","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G895105746","display_name":"Gera\u00e7\u00e3o Autom\u00e1tica de Algoritmos Distribu\u00eddos","funder_award_id":"2022.10788.BD","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4381250365.pdf","grobid_xml":"https://content.openalex.org/works/W4381250365.grobid-xml"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W32403112","https://openalex.org/W41554520","https://openalex.org/W111201530","https://openalex.org/W1130790960","https://openalex.org/W1515382807","https://openalex.org/W1552798917","https://openalex.org/W1585803290","https://openalex.org/W1608435723","https://openalex.org/W1681015847","https://openalex.org/W1698851783","https://openalex.org/W1705210632","https://openalex.org/W1794148987","https://openalex.org/W1799788669","https://openalex.org/W1897250020","https://openalex.org/W1920869409","https://openalex.org/W1963615255","https://openalex.org/W1974362268","https://openalex.org/W2011319246","https://openalex.org/W2014644972","https://openalex.org/W2038461675","https://openalex.org/W2054694168","https://openalex.org/W2055705670","https://openalex.org/W2073126252","https://openalex.org/W2080128128","https://openalex.org/W2091004544","https://openalex.org/W2094785517","https://openalex.org/W2101786389","https://openalex.org/W2107726111","https://openalex.org/W2114296561","https://openalex.org/W2115309705","https://openalex.org/W2118888533","https://openalex.org/W2126087831","https://openalex.org/W2131817624","https://openalex.org/W2131848219","https://openalex.org/W2141270505","https://openalex.org/W2158867151","https://openalex.org/W2165883216","https://openalex.org/W2295496839","https://openalex.org/W2315559518","https://openalex.org/W2566112925","https://openalex.org/W2750952386","https://openalex.org/W2758936227","https://openalex.org/W2769487539","https://openalex.org/W2790340769","https://openalex.org/W2895974005","https://openalex.org/W2898758704","https://openalex.org/W2951173698","https://openalex.org/W2972511691","https://openalex.org/W2988940520","https://openalex.org/W3001021274","https://openalex.org/W3043557120","https://openalex.org/W3046486172","https://openalex.org/W3096831136","https://openalex.org/W3106753174","https://openalex.org/W3126095862","https://openalex.org/W3137092842","https://openalex.org/W3143835657","https://openalex.org/W3153274897","https://openalex.org/W3183541766","https://openalex.org/W3193487929","https://openalex.org/W3195500408","https://openalex.org/W3200633331","https://openalex.org/W3202925250","https://openalex.org/W4229675450","https://openalex.org/W4247568241","https://openalex.org/W4254448480","https://openalex.org/W4284664028","https://openalex.org/W4289792856","https://openalex.org/W4293499221","https://openalex.org/W4302010773","https://openalex.org/W4389509728","https://openalex.org/W6630996157","https://openalex.org/W6639811099","https://openalex.org/W6678832241","https://openalex.org/W6746525901","https://openalex.org/W6770188017","https://openalex.org/W6793746476","https://openalex.org/W6798942057","https://openalex.org/W6810328913","https://openalex.org/W6839096826","https://openalex.org/W6910621100"],"related_works":["https://openalex.org/W4400410098","https://openalex.org/W3194244590","https://openalex.org/W2145120192","https://openalex.org/W3210065602","https://openalex.org/W4366607545","https://openalex.org/W3132443168","https://openalex.org/W2144438995","https://openalex.org/W1577886464","https://openalex.org/W4200413673","https://openalex.org/W2164896586"],"abstract_inverted_index":{"Fault-tolerant":[0],"algorithms,":[1,57],"such":[2,56,150],"as":[3,108,114,116,151],"<italic":[4,119],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[5,120],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Reliable":[6],"Broadcast</i>":[7],",":[8],"assure":[9],"the":[10,21,26,48,52,79,83,86,105,112,132,140],"correct":[11,70,100],"operation":[12],"of":[13,20,28,47,54,82,88,98,134],"modern":[14],"distributed":[15,29,74,148],"systems,":[16],"even":[17],"when":[18],"some":[19],"system":[22],"nodes":[23],"fail.":[24],"However,":[25],"development":[27],"algorithms":[30,103,149],"is":[31,96],"a":[32,44,61,117],"manual":[33],"and":[34,71,101],"complex":[35],"process,":[36],"where":[37],"slight":[38],"changes":[39],"in":[40,111,124,139],"requirements":[41],"can":[42],"require":[43],"complete":[45],"redesign":[46],"algorithm.":[49],"To":[50],"automate":[51],"process":[53],"developing":[55],"this":[58,135,144],"work":[59,77],"presents":[60],"new":[62,118],"approach":[63,84],"that":[64],"uses":[65],"Reinforcement":[66],"Learning":[67],"to":[68,142,146],"synthesize":[69],"efficient":[72,102],"fault-tolerant":[73,89],"algorithms.":[75,92],"This":[76],"shows":[78],"first":[80],"application":[81],"on":[85,131],"synthesis":[87],"Reliable":[90],"Broadcast":[91],"The":[93],"presented":[94],"technique":[95,145],"capable":[97],"synthesizing":[99],"with":[104],"same":[106],"performance":[107],"others":[109],"available":[110],"literature":[113],"well":[115],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Byzantine</i>":[121],"tolerant":[122],"algorithm,":[123],"only":[125],"12,":[126],"000":[127],"learning":[128],"episodes.":[129],"Based":[130],"success":[133],"implementation,":[136],"we":[137],"aim,":[138],"future,":[141],"extend":[143],"other":[147],"Consensus.":[152]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2023-06-20T00:00:00"}
