Bernd Finkbeiner
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
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
- Arthur Correnson5 talks
- Eric Koskinen13 talks
- Thibault Dardinier9 talks
- Sharon Shoham13 talks
- Jochen Hoenicke2 talks
- Benjamin Lucien Kaminski14 talks
| title | conference | date |
|---|---|---|
| Almost Fair Simulations | ICFP 2025 | 2025-10-12 |
Proves that language inclusion for nondeterministic Büchi automata can be established by a family of fairness‑preserving simulations: direct simulation, delay… | ||
| Coinductive Proofs for Temporal Hyperliveness | POPL 2025 | 2025-01-19 |
Framework shows that every forall∃ψ hyperproperty with ψ a safety relation admits a coinductive approximation, enabling incremental witness construction via… | ||
| nothing matches | ||