{"id":"https://openalex.org/W2733084770","doi":"https://doi.org/10.23638/lmcs-15(3:6)2019","title":"Controlling a population","display_name":"Controlling a population","publication_year":2019,"publication_date":"2019-07-29","ids":{"openalex":"https://openalex.org/W2733084770","doi":"https://doi.org/10.23638/lmcs-15(3:6)2019","mag":"2733084770"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(3:6)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:6)2019","pdf_url":"https://lmcs.episciences.org/5647/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5647/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019307337","display_name":"Nathalie Bertrand","orcid":"https://orcid.org/0000-0002-9957-5394"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nathalie Bertrand","raw_affiliation_strings":["IRSN#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRSN#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038474784","display_name":"Miheer Dewaskar","orcid":"https://orcid.org/0000-0002-7672-2531"},"institutions":[{"id":"https://openalex.org/I114027177","display_name":"University of North Carolina at Chapel Hill","ror":"https://ror.org/0130frc33","country_code":"US","type":"education","lineage":["https://openalex.org/I114027177"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Miheer Dewaskar","raw_affiliation_strings":["University of North Carolina at Chapel Hill#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-7672-2531","affiliations":[{"raw_affiliation_string":"University of North Carolina at Chapel Hill#TAB#","institution_ids":["https://openalex.org/I114027177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064810861","display_name":"Blaise Genest","orcid":"https://orcid.org/0000-0002-5758-1876"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Blaise Genest","raw_affiliation_strings":["SUMO"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SUMO","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108632816","display_name":"Hugo Gimbert","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hugo Gimbert","raw_affiliation_strings":["LaBRI#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI#TAB#","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"last","author":{"id":null,"display_name":"Adwait Amit Godbole","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adwait Amit Godbole","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5019307337"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3999,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61347609,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 15, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.998199999332428,"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/T11567","display_name":"semigroups and automata theory","score":0.998199999332428,"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9976999759674072,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.7383668422698975},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7217855453491211},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6334512233734131},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5737457871437073},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5161851048469543},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.46804141998291016},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.44764092564582825},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.39770105481147766},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3268347978591919},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27128565311431885},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26574480533599854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13353902101516724}],"concepts":[{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.7383668422698975},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7217855453491211},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6334512233734131},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5737457871437073},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5161851048469543},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.46804141998291016},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.44764092564582825},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39770105481147766},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3268347978591919},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27128565311431885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26574480533599854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13353902101516724},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0}],"mesh":[],"locations_count":14,"locations":[{"id":"doi:10.23638/lmcs-15(3:6)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:6)2019","pdf_url":"https://lmcs.episciences.org/5647/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:drops-oai.dagstuhl.de:7800","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.12","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"pmh:oai:arXiv.org:1707.02058","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1707.02058","pdf_url":"https://arxiv.org/pdf/1707.02058","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:arXiv.org:1807.00893","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1807.00893","pdf_url":"https://arxiv.org/pdf/1807.00893","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2733084770","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1707.02058.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"mag:2964163581","is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-02350251","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":"HAL (Le Centre pour la Communication Scientifique Directe)","raw_type":null},{"id":"pmh:oai:HAL:hal-01558029v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01558029","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":"2017","raw_type":"Preprints, Working Papers, ..."},{"id":"pmh:oai:HAL:hal-01625661v1","is_oa":true,"landing_page_url":"https://hal.science/hal-01625661","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":"CONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.12:1-12:16","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-02350251v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02350251","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":"Logical Methods in Computer Science, 2019, 15 (3), pp.1-30. ⟨10.23638/LMCS-15(3:6)2019⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:1056ce203a4d4227a8a9b94cb06a79e9","is_oa":true,"landing_page_url":"https://doaj.org/article/1056ce203a4d4227a8a9b94cb06a79e9","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 3 (2019)","raw_type":"article"},{"id":"pmh:oai:dsapce.library.iitb.ac.in:100/26836","is_oa":false,"landing_page_url":"http://dspace.library.iitb.ac.in/xmlui/handle/100/26836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400899","display_name":"DSpace (IIT Bombay)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162827531","host_organization_name":"Indian Institute of Technology Bombay","host_organization_lineage":["https://openalex.org/I162827531"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"doi:10.48550/arxiv.1707.02058","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1707.02058","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.48550/arxiv.1807.00893","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1807.00893","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.4230/lipics.concur.2017.12","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.concur.2017.12","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"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","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(3:6)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(3:6)2019","pdf_url":"https://lmcs.episciences.org/5647/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2330135216","display_name":null,"funder_award_id":"ANR-13-BS02-0011","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8446343607","display_name":null,"funder_award_id":"ANR-13-BS02-0011-01","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320719","display_name":"Department of Science and Technology, Ministry of Science and Technology, India","ror":"https://ror.org/0101xrq71"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321027","display_name":"Indo-French Centre for the Promotion of Advanced Research","ror":"https://ror.org/017aem598"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2733084770.pdf","grobid_xml":"https://content.openalex.org/works/W2733084770.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W152809744","https://openalex.org/W202663921","https://openalex.org/W905224589","https://openalex.org/W1503784199","https://openalex.org/W1505081061","https://openalex.org/W1574229394","https://openalex.org/W1596041124","https://openalex.org/W1622764697","https://openalex.org/W1991980356","https://openalex.org/W2021255060","https://openalex.org/W2036526834","https://openalex.org/W2054099039","https://openalex.org/W2060375000","https://openalex.org/W2098579316","https://openalex.org/W2109318253","https://openalex.org/W2129073086","https://openalex.org/W2140195055","https://openalex.org/W2217834713","https://openalex.org/W2277581924","https://openalex.org/W2294951539","https://openalex.org/W2424307510","https://openalex.org/W2572663997","https://openalex.org/W2586521831","https://openalex.org/W2788593967","https://openalex.org/W2964087325"],"related_works":["https://openalex.org/W2964163581","https://openalex.org/W131492591","https://openalex.org/W1760494660","https://openalex.org/W2754858045","https://openalex.org/W15726297","https://openalex.org/W2898631824","https://openalex.org/W2758945533","https://openalex.org/W3099302600","https://openalex.org/W2069888227","https://openalex.org/W2952846218","https://openalex.org/W2048930017","https://openalex.org/W1658277675","https://openalex.org/W2053174510","https://openalex.org/W1795482211","https://openalex.org/W2972772721","https://openalex.org/W2950666033","https://openalex.org/W2995369587","https://openalex.org/W2215757563","https://openalex.org/W2467498620","https://openalex.org/W197077171"],"abstract_inverted_index":{"We":[0,57],"introduce":[1],"a":[2,6,13,37,41,59,86,95,113,147,180],"new":[3],"setting":[4],"where":[5,45],"population":[7,42,160],"of":[8,36,43,74,183],"agents,":[9],"each":[10,130],"modelled":[11],"by":[12,33,94],"finite-state":[14],"system,":[15,39],"are":[16,91],"controlled":[17],"uniformly:":[18],"the":[19,22,34,46,51,72,75,77,101,107,123,139,159,166,184],"controller":[20,47,78],"applies":[21],"same":[23,102],"action":[24],"to":[25,54,71,85,146,154],"every":[26,104],"agent.":[27,131],"The":[28,89,116,132],"framework":[29],"is":[30,110,137,179],"largely":[31],"inspired":[32],"control":[35,149,152,161,165],"biological":[38],"namely":[40,158],"yeasts,":[44],"may":[48],"only":[49],"change":[50],"environment":[52],"common":[53],"all":[55,82,170],"cells.":[56],"study":[58],"synchronisation":[60],"problem":[61,150],"for":[62,103,129,169],"such":[63],"populations:":[64],"no":[65],"matter":[66],"how":[67],"individual":[68],"agents":[69,83,90,136],"react":[70],"actions":[73],"controller,":[76],"aims":[79],"at":[80],"driving":[81],"synchronously":[84],"target":[87],"state.":[88],"naturally":[92],"represented":[93],"non-deterministic":[96],"finite":[97],"state":[98],"automaton":[99],"(NFA),":[100],"agent,":[105],"and":[106,122],"whole":[108],"system":[109],"encoded":[111],"as":[112],"2-player":[114],"game.":[115,142],"first":[117],"player":[118,125,156],"(Controller)":[119],"chooses":[120],"actions,":[121],"second":[124],"(Agents)":[126],"resolves":[127],"non-determinism":[128],"game":[133,168],"with":[134,194],"m":[135,140,171],"called":[138],"-population":[141],"This":[143,178],"gives":[144],"rise":[145],"parameterized":[148],"(where":[151],"refers":[153],"2":[155],"games),":[157],"problem:":[162],"can":[163],"Controller":[164],"m-population":[167],"in":[172,190],"N":[173],"whatever":[174],"Agents":[175],"does?":[176],"Comment:":[177],"journal":[181],"version":[182],"extended":[185],"abstract":[186],"arXiv:1707.02058":[187],"which":[188],"appeared":[189],"Concur":[191],"2017,":[192],"together":[193],"proofs":[195]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-10T14:07:55.174380","created_date":"2022-10-03T00:00:00"}