K. S. Thejaswini

From MaRDI portal
Person:6091192



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A technique to speed up symmetric attractor-based algorithms for parity games2024-09-12Paper
Simple and tight complexity lower bounds for solving Rabin games2024-05-29Paper
On history-deterministic one-counter nets
Lecture Notes in Computer Science
2023-11-24Paper
scientific article; zbMATH DE number 7730619 (Why is no real title available?)
(available as arXiv preprint)
2023-08-21Paper
Universal algorithms for parity games and nested fixpoints
Lecture Notes in Computer Science
2023-08-10Paper


Research outcomes over time


This page was built for person: K. S. Thejaswini