Pages that link to "Item:Q3303899"
From MaRDI portal
The following pages link to Interpolation-Based GR(1) Assumptions Refinement (Q3303899):
Displaying 7 items.
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- Revisiting Synthesis of GR(1) Specifications (Q5391527) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- ACoRe: automated goal-conflict resolution (Q6535216) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q6535944) (← links)