Engel Lefaucheux
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 3 in the filters
on a stage with
- Anton Varonkaonce
- David Purseronce
- Dylan Marinhoonce
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reachability in multi-agent transfer systems | VMCAI 2026 | 2026-01-12 |
Introduces a formal model of multi-agent reachability with energy transfers, distinguishes transfer-by-groups vs global transfer and… | ||
| strategFTO: Untimed Control for Timed Opacity | FTSCS 2022 | 2022-12-07 |
A prototype strategFTO prototype implements an algorithm that decides untimed control for timed opacity and shows the control problem is not harder than full… | ||
| 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 | ||