activity
20122026
most citedA Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

8 citations · 18 across the 21 of their papers we have counts for

collaborators
Showing 2026Show all

3 papers · 1 filter

cs.LO2026

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words

Shibashis Guha, Amaldev Manuel, S P Rishal

We extend the two-variable logic on data words with guarded regular binary predicates of the form that is true if positions and are in the same class a…

cs.GT2026

Sure-almost-sure and Sure-limit-sure Window Mean Payoff in Markov Decision Processes

Pranshu Gaba, Shibashis Guha

Given rationals and , the sure-almost-sure problem for a threshold Boolean objective in a Markov decision process (MDP) asks if one can simultaneously ensure that all ou…

cs.GT2026

Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games

Laurent Doyen, Shibashis Guha

We consider turn-based stochastic two-player games with a combination of a parity condition that must hold surely, that is in all possible outcomes, and of a parity condition that…