Pages that link to "Item:Q3000615"
From MaRDI portal
The following pages link to Church Synthesis Problem for Noisy Input (Q3000615):
Displaying 11 items.
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Looking at mean-payoff and total-payoff through windows (Q2346404) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- On Memoryless Quantitative Objectives (Q3088278) (← links)
- The Complexity of Nash Equilibria in Limit-Average Games (Q3090850) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q5020999) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
