{"id":"https://openalex.org/W4415886786","doi":"https://doi.org/10.1007/978-3-032-09524-4_3","title":"Simplicity Lies in\u00a0the\u00a0Eye of\u00a0the\u00a0Beholder: A Strategic Perspective on\u00a0Controllers in\u00a0Reactive Synthesis","display_name":"Simplicity Lies in\u00a0the\u00a0Eye of\u00a0the\u00a0Beholder: A Strategic Perspective on\u00a0Controllers in\u00a0Reactive Synthesis","publication_year":2025,"publication_date":"2025-11-04","ids":{"openalex":"https://openalex.org/W4415886786","doi":"https://doi.org/10.1007/978-3-032-09524-4_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-09524-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-09524-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbi.umons.ac.be/bitstream/20.500.12907/55046/1/2509.04129v1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050192270","display_name":"Micka\u00ebl Randour","orcid":"https://orcid.org/0000-0001-8777-2385"},"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":true,"raw_author_name":"Mickael Randour","raw_affiliation_strings":["F.R.S.-FNRS and UMONS \u2013 Universit\u00e9 de Mons, Mons, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-8777-2385","affiliations":[{"raw_affiliation_string":"F.R.S.-FNRS and UMONS \u2013 Universit\u00e9 de Mons, Mons, Belgium","institution_ids":["https://openalex.org/I130929987"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050192270"],"corresponding_institution_ids":["https://openalex.org/I130929987"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.40201091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"31","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.527899980545044,"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.527899980545044,"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/T11031","display_name":"Game Theory and Applications","score":0.07999999821186066,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.039900001138448715,"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/blueprint","display_name":"Blueprint","score":0.8144999742507935},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.7318999767303467},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.7045999765396118},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6499999761581421},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5264000296592712},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4489000141620636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.852400004863739},{"id":"https://openalex.org/C155911762","wikidata":"https://www.wikidata.org/wiki/Q422321","display_name":"Blueprint","level":2,"score":0.8144999742507935},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.7318999767303467},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.7045999765396118},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6499999761581421},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5264000296592712},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4489000141620636},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44760000705718994},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4133000075817108},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3698999881744385},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3571999967098236},{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3192000091075897},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.28360000252723694},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.27129998803138733},{"id":"https://openalex.org/C48243021","wikidata":"https://www.wikidata.org/wiki/Q932522","display_name":"Strategic planning","level":2,"score":0.25459998846054077}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-032-09524-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-09524-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:orbi.umons.ac.be:20.500.12907/55046","is_oa":true,"landing_page_url":"https://orbi.umons.ac.be/handle/20.500.12907/55046","pdf_url":"https://orbi.umons.ac.be/bitstream/20.500.12907/55046/1/2509.04129v1.pdf","source":{"id":"https://openalex.org/S7407055454","display_name":"ORBi UMONS","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Computer Science, 16230 LNCS (2025-10-01); International Conference on Reachability Problems (RP 2025), Madrid, Spain [ES], 01-03/10/2025","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"pmh:oai:orbi.umons.ac.be:20.500.12907/55046","is_oa":true,"landing_page_url":"https://orbi.umons.ac.be/handle/20.500.12907/55046","pdf_url":"https://orbi.umons.ac.be/bitstream/20.500.12907/55046/1/2509.04129v1.pdf","source":{"id":"https://openalex.org/S7407055454","display_name":"ORBi UMONS","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lecture Notes in Computer Science, 16230 LNCS (2025-10-01); International Conference on Reachability Problems (RP 2025), Madrid, Spain [ES], 01-03/10/2025","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415886786.pdf","grobid_xml":"https://content.openalex.org/works/W4415886786.grobid-xml"},"referenced_works_count":48,"referenced_works":["https://openalex.org/W135426567","https://openalex.org/W135836976","https://openalex.org/W1488036958","https://openalex.org/W1499620300","https://openalex.org/W1526407086","https://openalex.org/W1554774506","https://openalex.org/W1569758148","https://openalex.org/W1636658058","https://openalex.org/W1857043531","https://openalex.org/W1902461641","https://openalex.org/W1981015644","https://openalex.org/W2060375000","https://openalex.org/W2152165272","https://openalex.org/W2154877638","https://openalex.org/W2414445996","https://openalex.org/W2467905659","https://openalex.org/W2502103274","https://openalex.org/W2555847713","https://openalex.org/W2754858045","https://openalex.org/W2785504350","https://openalex.org/W2803455449","https://openalex.org/W2910384659","https://openalex.org/W2963055215","https://openalex.org/W2963258939","https://openalex.org/W2963318305","https://openalex.org/W2964021571","https://openalex.org/W2964128311","https://openalex.org/W2970019760","https://openalex.org/W3016295497","https://openalex.org/W3021509961","https://openalex.org/W3034246012","https://openalex.org/W3046445210","https://openalex.org/W3130334580","https://openalex.org/W3157164353","https://openalex.org/W3202621629","https://openalex.org/W4234607582","https://openalex.org/W4377130595","https://openalex.org/W4391985989","https://openalex.org/W4396943626","https://openalex.org/W4399889832","https://openalex.org/W4402015781","https://openalex.org/W4403282496","https://openalex.org/W4407952451","https://openalex.org/W4408800413","https://openalex.org/W4415329929","https://openalex.org/W6891739579","https://openalex.org/W7110420710","https://openalex.org/W7133356162"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-04T00:00:00"}