8 citations · 18 across the 21 of their papers we have counts for
4 papers · 1 filter
Set Augmented Finite Automata over Infinite Alphabets
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably…
A Game of Pawns
Guy Avni, Pranav Ghorpade, Shibashis Guha
We introduce and study pawn games, a class of two-player zero-sum turn-based graph games. A turn-based graph game proceeds by placing a token on an initial vertex, and whoever cont…
Stochastic Window Mean-Payoff Games
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic two-player games model systems with an environment that is both adversarial and stochastic. The adversarial part of the environment is modeled by a player (Player 2) who…
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Continuous-time Markov decision processes (CTMDPs) are canonical models to express sequential decision-making under dense-time and stochastic environments. When the stochastic evol…