Pages that link to "Item:Q5391527"
From MaRDI portal
The following pages link to Revisiting Synthesis of GR(1) Specifications (Q5391527):
Displaying 8 items.
- Symbolic bounded synthesis (Q453535) (← links)
- A transformation-based synthesis of temporal specification (Q1906037) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- Interpolation-Based GR(1) Assumptions Refinement (Q3303899) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis (Q6045063) (← links)