Pages that link to "Item:Q1982646"
From MaRDI portal
The following pages link to GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646):
Displaying 4 items.
- 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)
- Fairness, assumptions, and guarantees for extended bounded response \textsf{LTL+P} synthesis (Q6045063) (← links)