Parameter Synthesis on Line, Grid, and Maze Worlds
701Success Metric (|SM|) LineSMT-based parameter synthesis refinements
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SMT-based parameter synthesis refinementsProblem Type=SSP, Strategy Type=Randomized (Rand.) Strategies2026.05 | 701 | 256 | 196 | |
| SMT-based parameter synthesisProblem Type=PDOOP, Strategy Type=Deterministic (Det.) Strategies2026.05 | 377 | 96 | 576 | |
| SMT-based parameter synthesisProblem Type=POP, Strategy Type=Randomized (Rand.) Strategies2026.05 | 249 | 400 | 16 | |
| SMT-based parameter synthesisProblem Type=SSP, Strategy Type=Deterministic (Det.) Strategies2026.05 | 193 | 225 | 36 | |
| SMT-based parameter synthesisProblem Type=SSP, Strategy Type=Randomized (Rand.) Strategies2026.05 | 61 | 36 | 36 | |
| SMT-based parameter synthesis refinementsProblem Type=SSP, Strategy Type=Deterministic (Det.) Strategies2026.05 | 15 | 10 | 2 | |
| SMT-based parameter synthesis refinementsProblem Type=PDOOP, Strategy Type=Deterministic (Det.) Strategies2026.05 | 10 | 1 | 846 | |
| SMT-based parameter synthesis refinementsProblem Type=POP, Strategy Type=Randomized (Rand.) Strategies2026.05 | 1 | 400 | 266 |