{"ID":2874599,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2509.04129","arxiv_id":"2509.04129","title":"Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis","abstract":"In the game-theoretic approach to controller synthesis, we model the interaction between a system to be controlled and its environment as a game between these entities, and we seek an appropriate (e.g., winning or optimal) strategy for the system. This strategy then serves as a formal blueprint for a real-world controller. A common belief is that simple (e.g., using limited memory) strategies are better: corresponding controllers are easier to conceive and understand, and cheaper to produce and maintain. This invited contribution focuses on the complexity of strategies in a variety of synthesis contexts. We discuss recent results concerning memory and randomness, and take a brief look at what lies beyond our traditional notions of complexity for strategies.","short_abstract":"In the game-theoretic approach to controller synthesis, we model the interaction between a system to be controlled and its environment as a game between these entities, and we seek an appropriate (e.g., winning or optimal) strategy for the system. This strategy then serves as a formal blueprint for a real-world control...","url_abs":"https://arxiv.org/abs/2509.04129","url_pdf":"https://arxiv.org/pdf/2509.04129v1","authors":"[\"Mickael Randour\"]","published":"2025-09-04T11:54:19Z","proceeding":"cs.LO","tasks":"[\"cs.LO\",\"cs.AI\",\"cs.FL\",\"math.PR\"]","methods":"[]","has_code":false}