Spremljaj
K. S. Thejaswini
K. S. Thejaswini
Institute of Science and Technology, Austria
Preverjeni e-poštni naslov na ista.ac.at - Domača stran
Naslov
Navedeno
Navedeno
Leto
The strahler number of a parity game
L Daviaud, M Jurdziński, KS Thejaswini
arXiv preprint arXiv:2003.08627, 2020
142020
Universal Algorithms for Parity Games and Nested Fixpoints
M Jurdziński, R Morvan, KS Thejaswini
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
92022
On History-Deterministic One-Counter Nets.
A Prakash, KS Thejaswini
FoSSaCS, 218-239, 2023
52023
A symmetric attractor-decomposition lifting algorithm for parity games
M Jurdziński, R Morvan, P Ohlmann, KS Thejaswini
arXiv preprint arXiv:2010.08288, 2020
52020
Adaptive synchronisation of pushdown automata
AR Balasubramanian, KS Thejaswini
CONCUR 2021, 2021
32021
Rabin games and colourful universal trees
R Majumdar, I Sağlam, KS Thejaswini
International Conference on Tools and Algorithms for the Construction and …, 2024
22024
Solving two-player games under progress assumptions
AK Schmuck, KS Thejaswini, I Sağlam, SP Nayak
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
A technique to speed up symmetric attractor-based algorithms for parity games
KS Thejaswini, P Ohlmann, M Jurdziński
42nd IARCS Annual Conference on Foundations of Software Technology and …, 2022
22022
Simple and tight complexity lower bounds for solving Rabin games
A Casares, M Pilipczuk, M Pilipczuk, US Souza, KS Thejaswini
2024 Symposium on Simplicity in Algorithms (SOSA), 160-167, 2024
12024
Resolving Nondeterminism with Randomness
TA Henzinger, A Prakash, KS Thejaswini
arXiv preprint arXiv:2502.12872, 2025
2025
Finding equilibria: simpler for pessimists, simplest for optimists
L Brice, T Henzinger, KS Thejaswini
arXiv preprint arXiv:2502.05316, 2025
2025
The Strahler number of a Parity Game
KS Thejaswini, L Daviaud, M Jurdzinski
2020
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–12