{"id":"https://openalex.org/W4410852524","doi":"https://doi.org/10.1109/access.2025.3575021","title":"Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks","display_name":"Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4410852524","doi":"https://doi.org/10.1109/access.2025.3575021"},"language":"en","primary_location":{"id":"doi:10.1109/access.2025.3575021","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3575021","pdf_url":null,"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://doi.org/10.1109/access.2025.3575021","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080519937","display_name":"Tariq Mumtaz","orcid":"https://orcid.org/0000-0003-4502-8851"},"institutions":[{"id":"https://openalex.org/I4210133438","display_name":"Habib University","ror":"https://ror.org/030p2g996","country_code":"PK","type":"education","lineage":["https://openalex.org/I4210133438"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Tariq Mumtaz","raw_affiliation_strings":["Dhanani School of Science and Engineering, Habib University, Karachi, Pakistan","Dhanani School of Science and Engineering, Habib University, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-4502-8851","affiliations":[{"raw_affiliation_string":"Dhanani School of Science and Engineering, Habib University, Karachi, Pakistan","institution_ids":["https://openalex.org/I4210133438"]},{"raw_affiliation_string":"Dhanani School of Science and Engineering, Habib University, Pakistan","institution_ids":["https://openalex.org/I4210133438"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046127152","display_name":"Shahabuddin Muhammad","orcid":"https://orcid.org/0000-0001-6253-0873"},"institutions":[{"id":"https://openalex.org/I138564716","display_name":"Prince Mohammad bin Fahd University","ror":"https://ror.org/03d64na34","country_code":"SA","type":"education","lineage":["https://openalex.org/I138564716"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Shahabuddin Muhammad","raw_affiliation_strings":["Prince Mohammad Bin Fahd University, Dhahran, Saudi Arabia","Prince Mohammad Bin Fahd University, KSA"],"raw_orcid":"https://orcid.org/0000-0001-6253-0873","affiliations":[{"raw_affiliation_string":"Prince Mohammad Bin Fahd University, Dhahran, Saudi Arabia","institution_ids":["https://openalex.org/I138564716"]},{"raw_affiliation_string":"Prince Mohammad Bin Fahd University, KSA","institution_ids":["https://openalex.org/I138564716"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050435885","display_name":"Faouzi Bouali","orcid":"https://orcid.org/0000-0002-8185-9153"},"institutions":[{"id":"https://openalex.org/I4210105992","display_name":"Qatar Science and Technology Park","ror":"https://ror.org/01gshyb58","country_code":"QA","type":"archive","lineage":["https://openalex.org/I4210105992"]}],"countries":["QA"],"is_corresponding":false,"raw_author_name":"Faouzi Bouali","raw_affiliation_strings":["University of Doha for Science and Technology (UDST), Doha, Qatar","University of Doha for Science and Technology (UDST), Qatar"],"raw_orcid":"https://orcid.org/0000-0002-8185-9153","affiliations":[{"raw_affiliation_string":"University of Doha for Science and Technology (UDST), Doha, Qatar","institution_ids":["https://openalex.org/I4210105992"]},{"raw_affiliation_string":"University of Doha for Science and Technology (UDST), Qatar","institution_ids":["https://openalex.org/I4210105992"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"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":1.0704,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.77688599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"13","issue":null,"first_page":"96198","last_page":"96212"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10148","display_name":"Advanced MIMO Systems Optimization","score":0.8622999787330627,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10148","display_name":"Advanced MIMO Systems Optimization","score":0.8622999787330627,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11932","display_name":"Wireless Body Area Networks","score":0.8547000288963318,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12042","display_name":"Satellite Communication Systems","score":0.7703999876976013,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"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.7145587801933289},{"id":"https://openalex.org/keywords/ran","display_name":"Ran","score":0.6021227836608887},{"id":"https://openalex.org/keywords/resource-allocation","display_name":"Resource allocation","score":0.4572768211364746},{"id":"https://openalex.org/keywords/radio-resource-management","display_name":"Radio resource management","score":0.45033058524131775},{"id":"https://openalex.org/keywords/resource-management","display_name":"Resource management (computing)","score":0.4480776786804199},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.3964879810810089},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.30845242738723755},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.27462753653526306},{"id":"https://openalex.org/keywords/wireless-network","display_name":"Wireless network","score":0.21587911248207092}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7145587801933289},{"id":"https://openalex.org/C160704184","wikidata":"https://www.wikidata.org/wiki/Q18031028","display_name":"Ran","level":2,"score":0.6021227836608887},{"id":"https://openalex.org/C29202148","wikidata":"https://www.wikidata.org/wiki/Q287260","display_name":"Resource allocation","level":2,"score":0.4572768211364746},{"id":"https://openalex.org/C182448111","wikidata":"https://www.wikidata.org/wiki/Q7281197","display_name":"Radio resource management","level":4,"score":0.45033058524131775},{"id":"https://openalex.org/C2780609101","wikidata":"https://www.wikidata.org/wiki/Q17156588","display_name":"Resource management (computing)","level":2,"score":0.4480776786804199},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3964879810810089},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.30845242738723755},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.27462753653526306},{"id":"https://openalex.org/C108037233","wikidata":"https://www.wikidata.org/wiki/Q11375","display_name":"Wireless network","level":3,"score":0.21587911248207092}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2025.3575021","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3575021","pdf_url":null,"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:24770687340c424a950a601afb06e8de","is_oa":true,"landing_page_url":"https://doaj.org/article/24770687340c424a950a601afb06e8de","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 13, Pp 96198-96212 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2025.3575021","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2025.3575021","pdf_url":null,"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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1970603830","https://openalex.org/W2815975866","https://openalex.org/W3023576515","https://openalex.org/W3174434204","https://openalex.org/W4206912070","https://openalex.org/W4225550149","https://openalex.org/W4289913043","https://openalex.org/W4290997040","https://openalex.org/W4295832472","https://openalex.org/W4296501318","https://openalex.org/W4315629987","https://openalex.org/W4317796310","https://openalex.org/W4381801216","https://openalex.org/W4388692333","https://openalex.org/W4396877661"],"related_works":["https://openalex.org/W2923452570","https://openalex.org/W206598027","https://openalex.org/W2978610750","https://openalex.org/W2098635744","https://openalex.org/W2022931285","https://openalex.org/W1589966275","https://openalex.org/W2086872282","https://openalex.org/W2317987164","https://openalex.org/W2040166533","https://openalex.org/W2104478802"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,84],"quantitative":[4],"analytical":[5],"framework":[6,39],"for":[7,78,86],"developing":[8],"radio":[9,46],"resource":[10],"management":[11,44],"(RRM)":[12],"strategies":[13],"tailored":[14],"to":[15,48,72,121],"5G":[16,126],"services":[17,54],"of":[18,45,53,61,102],"enhanced":[19],"Mobile":[20],"Broadband":[21],"(eMBB)":[22],"and":[23,42,115],"ultra-Reliable":[24],"Low":[25],"Latency":[26],"Communications":[27],"(uRLLC).":[28],"By":[29],"leveraging":[30],"the":[31,38,50,57,92,100,125],"Open":[32],"Radio":[33],"Access":[34],"Network":[35],"(RAN)":[36],"architecture,":[37],"enables":[40],"flexible":[41],"efficient":[43],"resources":[47],"meet":[49],"competing":[51],"demands":[52],"offered":[55],"by":[56],"fifth/sixth":[58],"generation":[59],"(5G/6G)":[60],"wireless":[62],"networks.":[63],"The":[64],"proposed":[65,93,107],"RRM":[66,88,97,108,117],"methodology":[67,109],"incorporates":[68],"formal":[69],"verification":[70],"capabilities":[71],"generate":[73],"vast":[74],"Pareto":[75],"optimality":[76],"datasets":[77],"specific":[79],"RAN":[80],"design":[81],"parameters,":[82],"establishing":[83],"foundation":[85],"rigorous":[87],"strategy":[89],"selection.":[90],"Additionally,":[91],"approach":[94],"enhances":[95],"data-driven":[96],"decision-making":[98],"through":[99],"application":[101],"unsupervised":[103],"machine-learning":[104],"techniques.":[105],"Our":[106],"outperforms":[110],"other":[111],"baseline":[112],"(i.e.,":[113],"stochastic":[114],"resource-proportional)":[116],"schemes,":[118],"achieving":[119],"up":[120],"30%":[122],"improvement":[123],"in":[124],"service":[127],"reward.":[128]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}