{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T08:34:00Z","timestamp":1743064440434,"version":"3.37.3"},"reference-count":74,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001871","name":"National Funds through Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDB\/50021\/2020 (INESC-ID)","2022.10788.BD"],"award-info":[{"award-number":["UIDB\/50021\/2020 (INESC-ID)","2022.10788.BD"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3287405","type":"journal-article","created":{"date-parts":[[2023,6,19]],"date-time":"2023-06-19T18:12:26Z","timestamp":1687198346000},"page":"62394-62408","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5329-2401","authenticated-orcid":false,"given":"Diogo","family":"Vaz","sequence":"first","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6834-705X","authenticated-orcid":false,"given":"David R.","family":"Matos","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2872-7300","authenticated-orcid":false,"given":"Miguel L.","family":"Pardal","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7873-5531","authenticated-orcid":false,"given":"Miguel","family":"Correia","sequence":"additional","affiliation":[{"name":"INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/989.357400"},{"key":"ref57","article-title":"CodeRL: Mastering code generation through pretrained models and deep reinforcement learning","author":"le","year":"2022","journal-title":"arXiv 2207 01780"},{"key":"ref12","first-page":"173","article-title":"Practical Byzantine fault tolerance","author":"castro","year":"1999","journal-title":"Proc USENIX Symp on Operating System Design and Implementation"},{"key":"ref56","first-page":"1","article-title":"Synthesis of distributed algorithms with parameterized threshold guards","author":"lazic","year":"2018","journal-title":"Proc 21st Int Conf Princ Distrib Syst (OPODIS)"},{"article-title":"Exploration and exploitation in reinforcement learning","year":"2004","author":"coggan","key":"ref15"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90036-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WEIT.2011.34"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3383458"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58468-4_159"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03424-5_22"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15260-3"},{"journal-title":"Theory and Application of Reward Shaping in Reinforcement Learning","year":"2004","author":"laud","key":"ref55"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/4221.214134"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774187"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh145"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.161.13"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3196347"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1613\/jair.301"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS53918.2021.00035"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"World Economic Forum & Visual Capitalist What is generative AI? An AI explains","year":"2023","key":"ref45"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626416500171"},{"key":"ref47","article-title":"Trading off t-resilience for efficiency in asynchronous Byzantine reliable broadcast","author":"imbs","year":"2015","journal-title":"arXiv 1510 06882"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-7998-5339-8.ch091"},{"journal-title":"What is generative AI?","year":"2023","key":"ref41"},{"journal-title":"The foundations of program verification","year":"2013","author":"sieber","key":"ref44"},{"key":"ref43","first-page":"209","article-title":"Early-stopping terminating reliable broadcast protocol for general-omission failures","author":"ro?u","year":"1996","journal-title":"Proc 15th Annu ACM Symp Princ Distrib Comput (PODC)"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39176-7_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS51616.2021.00055"},{"journal-title":"Automated Theorem Proving","year":"2013","author":"bibel","key":"ref7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806743"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39989-6_10"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EBBT.2019.8741736"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/800221.806707"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382784"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30367-9_8"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3422622"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_11"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/48529.48530"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31277-0_13"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.22"},{"article-title":"Reaching consensus in the Byzantine Empire: A comprehensive review of BFT consensus algorithms","year":"2022","author":"zhang","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3387514.3405852"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.38"},{"key":"ref39","article-title":"Reinforcement learning-driven test generation for Android GUI applications using formal specifications","author":"koroglu","year":"2019","journal-title":"arXiv 1911 05403"},{"key":"ref38","first-page":"117","article-title":"Synthesizing solutions to the leader election problem using model checking and genetic programming","author":"katz","year":"2009","journal-title":"Proc Hardw Software Verification Test 5th Int Haifa Verification Conf"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87779-0_32"},{"journal-title":"Reinforcement Learning An Introduction","year":"2018","author":"sutton","key":"ref70"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27645-3"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/BF00992698"},{"key":"ref24","first-page":"112","author":"goel","year":"2021","journal-title":"Formal Meth Computer-Aided Design"},{"key":"ref68","first-page":"537","article-title":"A survey of automatic code generation from natural language","volume":"17","author":"shin","year":"2021","journal-title":"J Inf Process Syst"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07317-0_4"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94141-7"},{"article-title":"A modular approach to fault-tolerant broadcasts and related problems","year":"1994","author":"hadzilacos","key":"ref26"},{"journal-title":"Generative AI","year":"2023","key":"ref25"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_21"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90014-9"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(81)90024-2"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81523-3_5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-022-05172-4"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/945506.945507"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2017.8048836"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_30"},{"key":"ref27","first-page":"133","article-title":"Avenir: Managing data plane diversity with control plane synthesis","author":"campbell","year":"2021","journal-title":"Proc NSDI"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2015.0403"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3202627"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2008.13"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"ref61"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10155129.pdf?arnumber=10155129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T02:09:01Z","timestamp":1733882941000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10155129\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":74,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3287405","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2023]]}}}