Matthew L. Daggitt
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis | LOPSTR+PPDP 2026 | 2026-08-27 |
Vehicle extends the Vehicle DSL with a Time type, discrete-time bounded operators (□,[a,b], ◇,[a,b], U_[a,b]), an @dynamics annotation and a rollout primitive… | ||
| Compiling higher-order specifications to SMT solvers: how to deal with rejection ... | CPP 2023 | 2023-01-16 |
Claims a verified pipeline that compiles higher-order Vehicle specifications to SMT while giving pinpointed rejections, implemented for Marabou-style backends… | ||
| nothing matches | ||