Anne-Kathrin Schmuck
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
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Solving Two-Player Games under Progress Assumptions | VMCAI 2024 | 2024-01-15 |
Considers augmented games (G, Φ, ψ) with Φ and ψ as LTL over vertices and shows solving them equals solving (G, ψ ⇒ Φ) but complexity depends on assumption… | ||
| Fair omega-Regular Games | GALOP 2024 | 2024-01-14 |
Defines games where both players must use designated fair moves and gives a formal winning rule: if one player is fair and the other not the fair player wins… | ||
| nothing matches | ||