8 citations · 18 across the 21 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.FL2025
Scalable Learning of One-Counter Automata via State-Merging Algorithms
Shibashis Guha, Anirban Majumdar, Prince Mathew +1
We propose One-counter Positive Negative Inference (OPNI), a passive learning algorithm for deterministic real-time one-counter automata (DROCA). Inspired by the RPNI algorithm for…
cs.GT2025
Optimising expectation with guarantees for window mean payoff in Markov decision processes
Pranshu Gaba, Shibashis Guha
The window mean-payoff objective strengthens the classical mean-payoff objective by computing the mean-payoff over a finite window that slides along an infinite path. Two variants…