Alternatives to Boolean goal variables
Options that appear in the same research papers as Boolean goal variables, by co-occurrence.
| Alternative | Papers (with Boolean goal variables) | Avg viability |
|---|---|---|
| LTLf synthesis | 1 | — |
| product-game states | 1 | — |
| fixed-point computation | 1 | — |
| monotonicity | 1 | — |