Pages that link to "Item:Q2303871"
From MaRDI portal
The following pages link to Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871):
Displaying 12 items.
- Strix (Q45131) (← links)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389) (← links)
- Back to the future: a fresh look at linear temporal logic (Q2117656) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- Research Challenges in Orchestration Synthesis (Q6197380) (← links)
- Practical applications of the alternating cycle decomposition (Q6535610) (← links)
- Guessing winning policies in LTL synthesis by semantic learning (Q6535642) (← links)
- Taming large bounds in synthesis from bounded-liveness specifications (Q6536131) (← links)
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism (Q6566473) (← links)
- Advancing orchestration synthesis for contract automata (Q6615563) (← links)
- Extended bounded response LTL: a new safety fragment for efficient reactive synthesis (Q6661746) (← links)
