The following pages link to (Q4952307):
Displaying 28 items.
- Strategy logic (Q979080) (← links)
- Model-checking iterated games (Q1674862) (← links)
- Latticed-LTL synthesis in the presence of noisy inputs (Q1677194) (← links)
- Supervisory control and reactive synthesis: a comparative introduction (Q1693819) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Indecision and delays are the parents of failure -- taming them algorithmically by synthesizing delay-resilient control (Q2231651) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- A hierarchical and modular control architecture for sequential behaviours (Q2348360) (← links)
- Mean-payoff games with partial observation (Q2636514) (← links)
- Observation and distinction: representing information in infinite games (Q2701064) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- Minimum Attention Controller Synthesis for Omega-Regular Objectives (Q3172849) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q5020999) (← links)
- Sequential Relational Decomposition (Q5094122) (← links)
- Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749) (← links)
- (Q5101346) (← links)
- (Q5136318) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)
- Synthesis with privacy against an observer (Q6629463) (← links)
