Satya Prakash Nayak
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 1 in the filters
on a stage with
- Anne-Kathrin Schmuckonce
- Irmak Saglamonce
- K. S. Thejaswinionce
who talks about the same things
one talk is not yet a subject
| 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… | ||
| nothing matches | ||