Church synthesis problem for noisy input

DOI10.1007/978-3-642-19805-2_19MaRDI QIDQ3000615zbMATH OpenOpenAlexFDO

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

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) Applications of game theory (91A80)

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)

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