The following pages link to Assume-admissible synthesis (Q520340):
Displaying 11 items.
- Active learning of sequential transducers with side information about the domain (Q832921) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- A game-theoretic approach for the synthesis of complex systems (Q2104251) (← links)
- Compositional synthesis of modular systems (Q2147209) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- On the Existence of Weak Subgame Perfect Equilibria (Q2988365) (← links)
- Dependences in Strategy Logic (Q3304133) (← links)
- (Q3384875) (← links)
- (Q3384876) (← links)
- (Q5079732) (← links)
- Synthesizing Computable Functions from Rational Specifications Over Infinite Words (Q6195088) (← links)
