K. S. Thejaswini

27 papers A* 2B 4Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dicey Games: Shared Sources of Randomness in Distributed Systems.
CoRR
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2026 J jnl
History-Deterministic Büchi Automata are Succinct.
CoRR
Antonio Casares, Aditya Prakash, K. S. Thejaswini
2026 J jnl
Randomise Alone, Reach as a Team.
CoRR
Léonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini
2026 J jnl
Sharing The Secret: Distributed Privacy-Preserving Monitoring.
CoRR
Mahyar Karimi, K. S. Thejaswini, Roderick Bloem, Thomas A. Henzinger
2025 B conf
Finding Equilibria: Simpler for Pessimists, Simplest for Optimists.
MFCS
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2025 J jnl
Finding equilibria: simpler for pessimists, simplest for optimists.
CoRR
Léonard Brice, Thomas A. Henzinger, K. S. Thejaswini
2025 A* conf
Privacy-Preserving Runtime Verification.
CCS
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini
2025 J jnl
Privacy-Preserving Runtime Verification.
CoRR
Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini
2025 B conf
Resolving Nondeterminism with Randomness.
MFCS
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini
2025 J jnl
Resolving Nondeterminism with Randomness.
CoRR
Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini
2025 — conf
ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.
FSTTCS
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2025 J jnl
ε-Stationary Nash Equilibria in Multi-player Stochastic Graph Games.
CoRR
Ali Asadi, Léonard Brice, Krishnendu Chatterjee, K. S. Thejaswini
2024 — conf
Rabin Games and Colourful Universal Trees.
TACAS (3)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024 J jnl
Rabin Games and Colourful Universal Trees.
CoRR
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
2024 — conf
Simple and tight complexity lower bounds for solving Rabin games.
SOSA
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
2024 — conf
Solving Two-Player Games Under Progress Assumptions.
VMCAI (1)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2023 B conf
On History-Deterministic One-Counter Nets.
FoSSaCS
Aditya Prakash, K. S. Thejaswini
2023 J jnl
Simple and tight complexity lower bounds for solving Rabin games.
CoRR
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
2023 J jnl
Solving Two-Player Games under Progress Assumptions.
CoRR
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
2022 — conf
A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games.
FSTTCS
K. S. Thejaswini, Pierre Ohlmann, Marcin Jurdzinski
2022 J jnl
On History-Deterministic One-Counter Nets.
CoRR
Aditya Prakash, K. S. Thejaswini
2022 — conf
Universal Algorithms for Parity Games and Nested Fixpoints.
Principles of Systems Design
Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
2021 B conf
Adaptive Synchronisation of Pushdown Automata.
CONCUR
A. R. Balasubramanian, K. S. Thejaswini
2021 J jnl
Adaptive Synchronisation of Pushdown Automata.
CoRR
A. R. Balasubramanian, K. S. Thejaswini
2020 J jnl
A symmetric attractor-decomposition lifting algorithm for parity games.
CoRR
Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini
2020 A* conf
The Strahler Number of a Parity Game.
ICALP
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini
2020 J jnl
The Strahler number of a parity game.
CoRR
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini