{"id":"https://openalex.org/W1983267234","doi":"https://doi.org/10.1155/2010/861472","title":"Using Model Checking for Analyzing Distributed Power Control Problems","display_name":"Using Model Checking for Analyzing Distributed Power Control Problems","publication_year":2010,"publication_date":"2010-05-05","ids":{"openalex":"https://openalex.org/W1983267234","doi":"https://doi.org/10.1155/2010/861472","mag":"1983267234"},"language":"en","primary_location":{"id":"doi:10.1155/2010/861472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2010/861472","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1155/2010/861472","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1155/2010/861472","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070197309","display_name":"Thomas Brihaye","orcid":"https://orcid.org/0000-0001-5763-3130"},"institutions":[{"id":"https://openalex.org/I130929987","display_name":"University of Mons","ror":"https://ror.org/02qnnz951","country_code":"BE","type":"education","lineage":["https://openalex.org/I130929987"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Thomas Brihaye","raw_affiliation_strings":["Institut de Math\u00e9matique, Universit\u00e9 de Mons, 7000, Mons, Belgium","Institut de Math\u00e9matique, Universit\u00e9 de Mons, Mons, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matique, Universit\u00e9 de Mons, 7000, Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]},{"raw_affiliation_string":"Institut de Math\u00e9matique, Universit\u00e9 de Mons, Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002669063","display_name":"Marc Jungers","orcid":"https://orcid.org/0000-0002-6670-3249"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210110792","display_name":"Centre de Recherche en Automatique de Nancy","ror":"https://ror.org/022r5hc56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210099203","https://openalex.org/I4210100260","https://openalex.org/I4210110792","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4210136613","display_name":"Laboratoire des syst\u00e8mes et applications des technologies de l'information et de l'\u00e9nergie","ror":"https://ror.org/03vam5b06","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I124158823","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210134562","https://openalex.org/I4210136613","https://openalex.org/I4210142324","https://openalex.org/I4210154111"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Jungers","raw_affiliation_strings":["Centre de Recherche en Automatique de Nancy (CRAN), Nancy Universit\u00e9, CNRS, 2 avenue de la For\u00eat de Haye, 54516, Vandoeuvre-les-Nancy, France","Syst\u00e8mes et Applications des Technologies de l'Information et de l'Energie (SATIE) CNRS, UMR8029-\u00c9cole Normale Sup\u00e9rieure de Cachan, ENS Cachan, France","Centre de Recherche en Automatique de Nancy (CRAN), Nancy Universit\u00e9, CNRS, Vandoeuvre-les-Nancy, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre de Recherche en Automatique de Nancy (CRAN), Nancy Universit\u00e9, CNRS, 2 avenue de la For\u00eat de Haye, 54516, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210110792"]},{"raw_affiliation_string":"Syst\u00e8mes et Applications des Technologies de l'Information et de l'Energie (SATIE) CNRS, UMR8029-\u00c9cole Normale Sup\u00e9rieure de Cachan, ENS Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I4210136613"]},{"raw_affiliation_string":"Centre de Recherche en Automatique de Nancy (CRAN), Nancy Universit\u00e9, CNRS, Vandoeuvre-les-Nancy, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210110792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050592934","display_name":"Samson Lasaulce","orcid":"https://orcid.org/0000-0001-9837-9538"},"institutions":[{"id":"https://openalex.org/I102475099","display_name":"Sup\u00e9lec","ror":"https://ror.org/00n7gwn90","country_code":"FR","type":"education","lineage":["https://openalex.org/I102475099"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210097418","display_name":"Laboratoire des signaux et syst\u00e8mes","ror":"https://ror.org/00skw9v43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210097418","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Samson Lasaulce","raw_affiliation_strings":["Laboratoire des Signaux et Syst\u00e8mes, CNRS, Supelec, Paris 11, 91190, Gif-sur-Yvette, France","Laboratoire des Signaux et Syst\u00e8mes, CNRS, Supelec, Gif-sur-Yvette, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire des Signaux et Syst\u00e8mes, CNRS, Supelec, Paris 11, 91190, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I102475099","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210097418"]},{"raw_affiliation_string":"Laboratoire des Signaux et Syst\u00e8mes, CNRS, Supelec, Gif-sur-Yvette, France","institution_ids":["https://openalex.org/I102475099","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084605938","display_name":"Nicolas Markey","orcid":"https://orcid.org/0000-0003-1977-7525"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Markey","raw_affiliation_strings":["Laboratoire Sp\u00e9cification & V\u00e9rification, ENS Cachan, 94235, Cachan, France","Laboratoire Sp\u00e9cification & V\u00e9rification, ENS Cachan, Cachan, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification & V\u00e9rification, ENS Cachan, 94235, Cachan, France","institution_ids":["https://openalex.org/I4210104198"]},{"raw_affiliation_string":"Laboratoire Sp\u00e9cification & V\u00e9rification, ENS Cachan, Cachan, France","institution_ids":["https://openalex.org/I11559806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014973369","display_name":"Ghassan Oreiby","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ghassan Oreiby","raw_affiliation_strings":["Department of Computer Science, Aalborg University, 9220, Aalborg, Denmark","Department of Computer Science, Aalborg University, Aalborg, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Aalborg University, 9220, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Department of Computer Science, Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5050592934"],"corresponding_institution_ids":["https://openalex.org/I102475099","https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210097418"],"apc_list":{"value":1665,"currency":"USD","value_usd":1665},"apc_paid":{"value":1665,"currency":"USD","value_usd":1665},"fwci":0.319,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.59560748,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2010","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9829000234603882,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9810000061988831,"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.9145826697349548},{"id":"https://openalex.org/keywords/transmitter","display_name":"Transmitter","score":0.7364662885665894},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6644939184188843},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6298744082450867},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5882882475852966},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5577683448791504},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.5298271775245667},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5211479663848877},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4732573330402374},{"id":"https://openalex.org/keywords/transmitter-power-output","display_name":"Transmitter power output","score":0.46307504177093506},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4429543912410736},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41770288348197937},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4120594561100006},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32776981592178345},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2089756727218628},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1911351978778839},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14738911390304565}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9145826697349548},{"id":"https://openalex.org/C47798520","wikidata":"https://www.wikidata.org/wiki/Q190157","display_name":"Transmitter","level":3,"score":0.7364662885665894},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6644939184188843},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6298744082450867},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5882882475852966},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5577683448791504},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.5298271775245667},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5211479663848877},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4732573330402374},{"id":"https://openalex.org/C65422117","wikidata":"https://www.wikidata.org/wiki/Q358527","display_name":"Transmitter power output","level":4,"score":0.46307504177093506},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4429543912410736},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41770288348197937},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4120594561100006},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32776981592178345},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2089756727218628},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1911351978778839},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14738911390304565},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1155/2010/861472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2010/861472","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1155/2010/861472","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00446986v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00446986","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking, 2010, 2010, pp.Article ID 861472. ⟨10.1155/2010/861472⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:1592d20c7e7d4771aa5d57f29c2249ad","is_oa":false,"landing_page_url":"https://doaj.org/article/1592d20c7e7d4771aa5d57f29c2249ad","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking, Vol 2010 (2010)","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/229939ec-ae05-4136-9cc5-7a8551c558c1","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/229939ec-ae05-4136-9cc5-7a8551c558c1","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Brihaye, T, Jungers, M, Lasaulce, S, Markey, N & Oreiby, G 2010, 'Using Model Checking for Analyzing Distributed Power Control Problems', EURASIP Journal on Wireless Communications and Networking, pp. 861472. https://doi.org/10.1155/2010/861472","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1155/2010/861472","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2010/861472","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1155/2010/861472","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1983267234.pdf","grobid_xml":"https://content.openalex.org/works/W1983267234.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1599995366","https://openalex.org/W1612453857","https://openalex.org/W2101508170","https://openalex.org/W2112151127","https://openalex.org/W2114798382","https://openalex.org/W2121147414","https://openalex.org/W2124409123","https://openalex.org/W2131156155","https://openalex.org/W2131440997","https://openalex.org/W2131711205","https://openalex.org/W2144965436","https://openalex.org/W2148911784","https://openalex.org/W2153620960","https://openalex.org/W2167144534","https://openalex.org/W2168078104","https://openalex.org/W2293033173","https://openalex.org/W2913459036","https://openalex.org/W3104487555"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W1592102986","https://openalex.org/W2350953867","https://openalex.org/W2103740034","https://openalex.org/W1998387957","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400"],"abstract_inverted_index":{"Model":[0],"checking":[1],"(MC)":[2],"is":[3,90,106,135],"a":[4,15,35,39,97,109,147],"formal":[5],"verification":[6],"technique":[7],"which":[8],"has":[9],"been":[10],"known":[11],"and":[12,42,68,82,133,145],"still":[13],"knows":[14],"resounding":[16],"success":[17],"in":[18],"the":[19,25,45,76,140],"computer":[20],"science":[21],"community.":[22],"Realizing":[23],"that":[24,62],"distributed":[26,57],"power":[27],"control":[28],"(PC)":[29],"problem":[30],"can":[31,53,64],"be":[32,54,65],"modeled":[33,107],"by":[34,108],"timed":[36,116,128],"game":[37,110],"between":[38],"given":[40],"transmitter":[41],"its":[43],"environment,":[44],"authors":[46],"wanted":[47],"to":[48,56,71,102,137],"know":[49,138],"whether":[50,139],"this":[51],"approach":[52],"applied":[55,66],"PC.":[58],"It":[59],"turns":[60],"out":[61],"it":[63],"successfully":[67],"allows":[69],"one":[70],"analyze":[72],"realistic":[73],"scenarios":[74],"including":[75],"case":[77],"of":[78],"discrete":[79],"transmit":[80],"powers":[81],"games":[83],"with":[84,119],"incomplete":[85],"information.":[86],"The":[87,104,122],"proposed":[88],"methodology":[89],"as":[91,115],"follows.":[92],"We":[93],"state":[94],"some":[95],"objectives":[96,123],"transmitter-receiver":[98],"pair":[99],"would":[100],"like":[101],"reach.":[103],"network":[105],"where":[111],"transmitters":[112],"are":[113,124,143],"considered":[114],"automata":[117],"interacting":[118],"each":[120],"other.":[121],"then":[125],"translated":[126],"into":[127],"alternating-time":[129],"temporal":[130],"logic":[131],"formulae":[132],"MC":[134],"exploited":[136],"desired":[141],"properties":[142],"verified":[144],"determine":[146],"winning":[148],"strategy.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}