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 6 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)
