{"id":"https://openalex.org/W4384502421","doi":"https://doi.org/10.1109/mocast57943.2023.10176659","title":"Multi-Armed Bandits for Autonomous Test Application in RISC-V Processor Verification","display_name":"Multi-Armed Bandits for Autonomous Test Application in RISC-V Processor Verification","publication_year":2023,"publication_date":"2023-06-28","ids":{"openalex":"https://openalex.org/W4384502421","doi":"https://doi.org/10.1109/mocast57943.2023.10176659"},"language":"en","primary_location":{"id":"doi:10.1109/mocast57943.2023.10176659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mocast57943.2023.10176659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST)","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/A5074704256","display_name":"Giorgos Dimitrakopoulos","orcid":"https://orcid.org/0000-0003-3688-7865"},"institutions":[{"id":"https://openalex.org/I147962203","display_name":"Democritus University of Thrace","ror":"https://ror.org/03bfqnx40","country_code":"GR","type":"education","lineage":["https://openalex.org/I147962203"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"G. Dimitrakopoulos","raw_affiliation_strings":["Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece"],"affiliations":[{"raw_affiliation_string":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","institution_ids":["https://openalex.org/I147962203"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece","institution_ids":["https://openalex.org/I147962203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092483348","display_name":"E. Kallitsounakis","orcid":null},"institutions":[{"id":"https://openalex.org/I147962203","display_name":"Democritus University of Thrace","ror":"https://ror.org/03bfqnx40","country_code":"GR","type":"education","lineage":["https://openalex.org/I147962203"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"E. Kallitsounakis","raw_affiliation_strings":["Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece"],"affiliations":[{"raw_affiliation_string":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","institution_ids":["https://openalex.org/I147962203"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece","institution_ids":["https://openalex.org/I147962203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002552393","display_name":"Zacharias Takakis","orcid":null},"institutions":[{"id":"https://openalex.org/I147962203","display_name":"Democritus University of Thrace","ror":"https://ror.org/03bfqnx40","country_code":"GR","type":"education","lineage":["https://openalex.org/I147962203"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Z. Takakis","raw_affiliation_strings":["Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece"],"affiliations":[{"raw_affiliation_string":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","institution_ids":["https://openalex.org/I147962203"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece","institution_ids":["https://openalex.org/I147962203"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070909466","display_name":"Anthony Stefanidis","orcid":"https://orcid.org/0000-0002-8165-0667"},"institutions":[{"id":"https://openalex.org/I147962203","display_name":"Democritus University of Thrace","ror":"https://ror.org/03bfqnx40","country_code":"GR","type":"education","lineage":["https://openalex.org/I147962203"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"A. Stefanidis","raw_affiliation_strings":["Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece"],"affiliations":[{"raw_affiliation_string":"Democritus University of Thrace,Electrical and Computer Engineering,Xanthi,Greece","institution_ids":["https://openalex.org/I147962203"]},{"raw_affiliation_string":"Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece","institution_ids":["https://openalex.org/I147962203"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035714231","display_name":"Chrysostomos Nicopoulos","orcid":"https://orcid.org/0000-0001-6389-6068"},"institutions":[{"id":"https://openalex.org/I34771391","display_name":"University of Cyprus","ror":"https://ror.org/02qjrjx09","country_code":"CY","type":"education","lineage":["https://openalex.org/I34771391"]}],"countries":["CY"],"is_corresponding":false,"raw_author_name":"C. Nicopoulos","raw_affiliation_strings":["University of Cyprus,Electrical and Computer Engineering,Cyprus","Electrical and Computer Engineering, University of Cyprus, Cyprus"],"affiliations":[{"raw_affiliation_string":"University of Cyprus,Electrical and Computer Engineering,Cyprus","institution_ids":["https://openalex.org/I34771391"]},{"raw_affiliation_string":"Electrical and Computer Engineering, University of Cyprus, Cyprus","institution_ids":["https://openalex.org/I34771391"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5074704256"],"corresponding_institution_ids":["https://openalex.org/I147962203"],"apc_list":null,"apc_paid":null,"fwci":0.2547,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57081859,"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":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12101","display_name":"Advanced Bandit Algorithms Research","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9991000294685364,"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.9975000023841858,"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.8254284858703613},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.591985821723938},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5560405850410461},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.545894980430603},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5107591152191162},{"id":"https://openalex.org/keywords/reduced-instruction-set-computing","display_name":"Reduced instruction set computing","score":0.502924382686615},{"id":"https://openalex.org/keywords/branch-predictor","display_name":"Branch predictor","score":0.48641300201416016},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4367571771144867},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3387828469276428},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.2917901873588562},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.23902222514152527},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21932396292686462},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07495871186256409}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8254284858703613},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.591985821723938},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5560405850410461},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.545894980430603},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5107591152191162},{"id":"https://openalex.org/C126298526","wikidata":"https://www.wikidata.org/wiki/Q189376","display_name":"Reduced instruction set computing","level":3,"score":0.502924382686615},{"id":"https://openalex.org/C168522837","wikidata":"https://www.wikidata.org/wiki/Q679552","display_name":"Branch predictor","level":2,"score":0.48641300201416016},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4367571771144867},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3387828469276428},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.2917901873588562},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.23902222514152527},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21932396292686462},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07495871186256409},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"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/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mocast57943.2023.10176659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mocast57943.2023.10176659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 12th International Conference on Modern Circuits and Systems Technologies (MOCAST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W572887147","https://openalex.org/W1416883001","https://openalex.org/W1515959435","https://openalex.org/W2011645538","https://openalex.org/W2075599280","https://openalex.org/W2100218206","https://openalex.org/W2168405694","https://openalex.org/W2583919170","https://openalex.org/W2803766830","https://openalex.org/W2899727632","https://openalex.org/W2979298516","https://openalex.org/W3088595028","https://openalex.org/W4206530644","https://openalex.org/W4214717370","https://openalex.org/W4223991291","https://openalex.org/W4250319054","https://openalex.org/W6740699002","https://openalex.org/W6767171834","https://openalex.org/W6999016131"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2153955347","https://openalex.org/W2106507440","https://openalex.org/W1928822090","https://openalex.org/W2118572231","https://openalex.org/W2105593427","https://openalex.org/W4375857205","https://openalex.org/W3036403349","https://openalex.org/W2108860137","https://openalex.org/W1968510839"],"abstract_inverted_index":{"Multi-armed":[0],"bandit":[1,32,57],"problems":[2],"have":[3],"recently":[4],"received":[5],"a":[6,47,95],"great":[7],"deal":[8],"of":[9,24,43,80],"attention,":[10],"because":[11],"they":[12],"adequately":[13],"formalize":[14],"so":[15],"called":[16],"exploration-exploitation":[17],"trade-offs":[18],"arising":[19],"in":[20,109],"several":[21],"relevant":[22],"applications":[23],"recommendation":[25,49],"systems.":[26],"In":[27],"this":[28],"article,":[29],"the":[30,41,55,78,91,105,112],"multi-armed":[31,56],"concept":[33],"is":[34,51],"applied":[35,73],"to":[36,60,114],"an":[37],"equivalent":[38],"problem":[39],"within":[40],"context":[42],"hardware":[44],"verification.":[45,76],"Specifically,":[46],"verification":[48,106],"system":[50],"designed,":[52],"based":[53],"on":[54],"decision-making":[58],"model,":[59],"automatically":[61],"suggest":[62],"which":[63],"test":[64,81],"sequences":[65],"-":[66,70],"constrained-random":[67],"or":[68],"direct":[69],"should":[71],"be":[72],"during":[74],"processor":[75],"Automating":[77],"process":[79],"application":[82],"not":[83],"only":[84],"improves":[85],"functional":[86],"coverage,":[87],"as":[88],"shown":[89],"by":[90],"experimental":[92],"results":[93],"for":[94],"two-way":[96],"superscalar":[97],"out-of-order":[98],"RISC-V":[99],"processor,":[100],"but":[101],"it":[102],"also":[103],"minimizes":[104],"effort":[107],"and,":[108],"effect,":[110],"shortens":[111],"time":[113],"market.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}