Nathalie Bertrand
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Engel Lefaucheuxonce
- Loic Helouetonce
- Luca Paparazzoonce
all 5 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… | ||
| Reduction theorems for effective parameterized verification of round- based distributed algorithms | FRIDA 2025 | 2025-10-27 |
Presents reduction theorems that collapse the unbounded round dimension into a bounded sliding window (if round jumps are bounded by B) and encode anonymous… | ||
| Controlling Probabilistic Systems Under Partial Observation | Uncertainty in Computation 2016 | 2016-10-04 |
Uses Rabin probabilistic automata and partially observable Markov decision processes to pin down what is decidable: emptiness/threshold problems are broadly… | ||
| nothing matches | ||