Shibashis Guha | DeepAI

DeepAI AI Chat

Featured Co-authors

Jean-François Raskin
38 publications
Jan Křetínský
36 publications
Guillermo A. Perez
32 publications
Martin Zimmermann
29 publications
Ashutosh Trivedi
26 publications
Aniello Murano
24 publications
Nathanaël Fijalkow
23 publications
Sasha Rubin
13 publications
Bastien Maubert
12 publications
Guy Avni
12 publications
Karoliina Lehtinen
11 publications

∙ 05/06/2023

A Game of Pawns

We introduce and study pawn games, a class of two-player zero-sum turn-b...

0 Guy Avni, et al. ∙

∙ 04/23/2023

Stochastic Window Mean-payoff Games

Stochastic two-player games model systems with an environment that is bo...

0 Laurent Doyen, et al. ∙

∙ 03/16/2023

Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP

Continuous-time Markov decision processes (CTMDPs) are canonical models ...

0 Amin Falah, et al. ∙

∙ 07/15/2022

Parikh Automata over Infinite Words

Parikh automata extend finite automata by counters that can be tested fo...

0 Shibashis Guha, et al. ∙

∙ 06/03/2022

PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP

Markov decision processes (MDP) and continuous-time MDP (CTMDP) are the ...

6 Chaitanya Agarwal, et al. ∙

∙ 04/25/2022

Strategy Synthesis for Global Window PCTL

Given a Markov decision process (MDP) M and a formula Φ, the strategy sy...

0 Benjamin Bordais, et al. ∙

∙ 05/06/2021

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

We study the expressiveness and succinctness of good-for-games pushdown ...

0 Shibashis Guha, et al. ∙

∙ 07/13/2020

Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower

Two-player Stackelberg games are non-zero sum strategic games between a ...

0 Mrudula Balachander, et al. ∙

∙ 05/19/2020

Safe Learning for Near Optimal Scheduling

In this paper, we investigate the combination of synthesis techniques an...

0 Gilles Geeraerts, et al. ∙

∙ 04/28/2020

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes

In this paper, we consider algorithms to decide the existence of strateg...

0 Raphaël Berthon, et al. ∙

∙ 02/10/2020

Alternating Tree Automata with Qualitative Semantics

We study alternating automata with qualitative semantics over infinite b...

0 Raphaël Berthon, et al. ∙

∙ 01/14/2019

Monadic Second Order Logic with Path-Measure Quantifier is Undecidable

We prove that the theory of monadic second order logic (MSO) of the infi...

0 Raphaël Berthon, et al. ∙

∙ 12/21/2018

Expected Window Mean-Payoff

In the window mean-payoff objective, given an infinite path, instead of ...

0 Benjamin Bordais, et al. ∙

∙ 08/14/2018

Timed Network Games with Clocks

Network games are widely used as a model for selfish resource-allocation...

0 Guy Avni, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world