8 citations · 18 across the 21 of their papers we have counts for
6 papers · 1 filter
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…
Strategy Synthesis for Global Window PCTL
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha +1
Given a Markov decision process (MDP) and a formula , the strategy synthesis problem asks if there exists a strategy s.t. the resulting Markov chain satisfies …
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes
Raphaël Berthon, Shibashis Guha, Jean-François Raskin
In this paper, we consider algorithms to decide the existence of strategies in MDPs for Boolean combinations of objectives. These objectives are omega-regular properties that need…
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha +5
We prove that the theory of Monadic Second-Order logic (MSO) of the infinite binary tree extended with qualitative path-measure quantifier is undecidable. This quantifier says that…
Revisiting Robustness in Priced Timed Games
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa +1
Priced timed games are optimal-cost reachability games played between two players---the controller and the environment---by moving a token along the edges of infinite graphs of con…
Inferring Fences in a Concurrent Program Using SC proof of Correctness
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Most proof systems for concurrent programs assume the underlying memory model to be sequentially consistent (SC), an assumption which does not hold for modern multicore processors.…