Anton Varonka
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2026
on a stage with
all 9 in the filters
who talks about the same things
- James Worrell6 talks
- Mahsa Shirmohammadi2 talks
- Joël Ouaknine2 talks
- Toghrul Karimov2 talks
- Sharon Shoham13 talks
- Oded Padon11 talks
| title | conference | date |
|---|---|---|
| Determination Problems for Orbit Closures and Matrix Groups | POPL 2026 | 2026-01-11 |
Gives a concrete algorithm: a polynomial-space procedure that decides, given an algebraic variety and a number s, whether the variety equals the orbit closure… | ||
| What's Decidable about Linear Loops? | POPL 2022 | 2022-01-16 |
The paper proves decidability of MSO model checking for discrete-time linear dynamical systems with semialgebraic predicates provided every predicate is either… | ||
| nothing matches | ||