Benedikt Maderbacher
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Parameterized Infinite-State Reactive Synthesis | POPL 2026 | 2026-01-11 |
A counterexample‑guided loop synthesizes a single parameterized infinite‑state reactive program and a proof by: (1) enumerating small concrete parameter… | ||
| Synthesis of Controllers for Continuous Blackbox Systems | VMCAI 2025 | 2025-01-20 |
Method synthesizes a continuous feed-forward controller for a stateless blackbox plant by building a linear interpolation model from a few hundred guided… | ||
| nothing matches | ||