Church Synthesis Problem for Noisy Input
From MaRDI portal
Publication:3000615
DOI10.1007/978-3-642-19805-2_19zbMath1326.68189OpenAlexW1869554259MaRDI QIDQ3000615
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
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)
Related Items (11)
Hyperplane separation technique for multidimensional mean-payoff games ⋮ Graph Games and Reactive Synthesis ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Temporal Specifications with Accumulative Values ⋮ Unnamed Item ⋮ Strategy synthesis for multi-dimensional quantitative objectives ⋮ On Memoryless Quantitative Objectives ⋮ The Complexity of Nash Equilibria in Limit-Average Games ⋮ Optimally Resilient Strategies in Pushdown Safety Games ⋮ Looking at mean-payoff and total-payoff through windows ⋮ Synthesis in presence of dynamic links
This page was built for publication: Church Synthesis Problem for Noisy Input
