Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control
From MaRDI portal
Publication:2231651
DOI10.1007/s00236-020-00374-7OpenAlexW3007408361MaRDI QIDQ2231651
Yangjia Li, Naijun Zhan, Peter N. Mosaad, Martin Fränzle, Mingshuai Chen
Publication date: 30 September 2021
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-020-00374-7
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The complexity of two-player games of incomplete information
- Infinite games played on finite graphs
- Effective Synthesis of Asynchronous Systems from GR(1) Specifications
- SAT-Based Synthesis Methods for Safety Specs
- Degrees of Lookahead in Regular Infinite Games
- Bounded Synthesis
- On the synthesis of strategies in infinite games
- Permissive strategies: from parity games to safety games
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Delay-Robust Supervisory Control of Discrete-Event Systems With Bounded Communication Delays
- What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
- Algorithms for Omega-Regular Games with Imperfect Information
- Solving Sequential Conditions by Finite-State Strategies
- Sequential Boolean Equations
- Hybrid Systems: Computation and Control
- How Much Lookahead is Needed to Win Infinite Games?
- Synthesis of asynchronous reactive programs from temporal specifications
- What's to come is still unsure. Synthesizing controllers resilient to delayed interaction
