The following pages link to Good-enough synthesis (Q2226757):
Displaying 6 items.
- Vacuity in synthesis (Q2058393) (← links)
- (Q2708640) (← links)
- Better Quality in Synthesis through Quantitative Objectives (Q3636858) (← links)
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct (Q6137877) (← links)
- Synthesizing Computable Functions from Rational Specifications Over Infinite Words (Q6195088) (← links)
- History-deterministic timed automata (Q6635511) (← links)