Pages that link to "Item:Q3176385"
From MaRDI portal
The following pages link to Graph Games and Reactive Synthesis (Q3176385):
Displayed 24 items.
- Active learning of sequential transducers with side information about the domain (Q832921) (← links)
- Decoy allocation games on graphs with temporal logic objectives (Q2056945) (← links)
- Reactive synthesis from visibly register pushdown automata (Q2119985) (← links)
- Certifying inexpressibility (Q2233423) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- On Synthesis of Specifications with Arithmetic (Q3297765) (← links)
- (Q5028465) (← links)
- On Repetition Languages (Q5089230) (← links)
- (Q5089265) (← links)
- (Q5089289) (← links)
- Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions (Q5090979) (← links)
- (Q5856426) (← links)
- (Q5875382) (← links)
- Synthesis of Data Word Transducers (Q5875385) (← links)
- (Q5875386) (← links)
- Quantitative safety and liveness (Q6091203) (← links)
- Subgame optimal strategies in finite concurrent games with prefix-independent objectives (Q6091217) (← links)
- Specifiable robustness in reactive synthesis (Q6102166) (← links)
- OmegaThreads (Q6120669) (← links)
- Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)