Church synthesis problem for noisy input

DOI10.1007/978-3-642-19805-2_19zbMATH Open1326.68189OpenAlexW1869554259MaRDI QIDQ3000615FDOQ3000615

Authors Alexander Rabinovich, Yaron Velner

Publication date 19 May 2011

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19805-2_19

Mathematics Subject Classification ID

Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Signaling and communication in game theory (91A28)

Recommendations

• Lossy channel games under incomplete information
• Infinite games with finite knowledge gaps
• Hierarchical information patterns and distributed strategy synthesis
• scientific article; zbMATH DE number 5954369
• Algorithms for Omega-Regular Games with Imperfect Information

Cited in

(11)

• The Complexity of Nash Equilibria in Limit-Average Games
• Lossy channel games under incomplete information
• Graph Games and Reactive Synthesis
• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• On memoryless quantitative objectives
• Temporal specifications with accumulative values
• Looking at mean-payoff and total-payoff through windows
• Latticed-LTL synthesis in the presence of noisy inputs
• Optimally Resilient Strategies in Pushdown Safety Games
• Synthesis in presence of dynamic links
• Hyperplane separation technique for multidimensional mean-payoff games

This page was built for publication: Church synthesis problem for noisy input

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000615)