Church Synthesis Problem for Noisy Input

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

Yaron Velner, Alexander Rabinovich

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)

Cited In (11)

• Synthesis in presence of dynamic links
• On Memoryless Quantitative Objectives
• The Complexity of Nash Equilibria in Limit-Average Games
• Hyperplane separation technique for multidimensional mean-payoff games
• Strategy synthesis for multi-dimensional quantitative objectives
• Looking at mean-payoff and total-payoff through windows
• Temporal Specifications with Accumulative Values
• Graph Games and Reactive Synthesis
• Optimally Resilient Strategies in Pushdown Safety Games
• Latticed-LTL synthesis in the presence of noisy inputs
• Title not available (Why is that?)

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)