K. S. Thejaswini

According to our database, K. S. Thejaswini authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Solving Two-Player Games Under Progress Assumptions.

Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Rabin Games and Colourful Universal Trees.

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Simple and tight complexity lower bounds for solving Rabin games.

Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini

Proceedings of the 2024 Symposium on Simplicity in Algorithms, 2024

2023

On History-Deterministic One-Counter Nets.

Aditya Prakash, K. S. Thejaswini

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games.

K. S. Thejaswini, Pierre Ohlmann, Marcin Jurdzinski

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

Universal Algorithms for Parity Games and Nested Fixpoints.

Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini

Proceedings of the Principles of Systems Design, 2022

2021

Adaptive Synchronisation of Pushdown Automata.

A. R. Balasubramanian, K. S. Thejaswini

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

A symmetric attractor-decomposition lifting algorithm for parity games.

Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini

CoRR, 2020

The Strahler Number of a Parity Game.

Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini

Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020