Shibashis Guha

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 49

Top Topics

Optimal Scheduling

Top Venues

Publications

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. Log. Methods Comput. Sci. 20 (1) (2024)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic Window Mean-Payoff Games. FoSSaCS (1) (2024)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Expectation in Stochastic Window Mean-Payoff Games. CoRR (2024)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed network games. Inf. Comput. 290 (2023)
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
Set Augmented Finite Automata over Infinite Alphabets. CoRR (2023)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CONCUR (2023)
Ansuman Banerjee, Kingshuk Chatterjee, Shibashis Guha
Set Augmented Finite Automata over Infinite Alphabets. DLT (2023)
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. CoRR (2023)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic Window Mean-payoff Games. CoRR (2023)
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
History-Deterministic Parikh Automata. CONCUR (2023)
Guy Avni, Pranav Ghorpade, Shibashis Guha
A Game of Pawns. CoRR (2023)
Amin Falah, Shibashis Guha, Ashutosh Trivedi
Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP. ICAPS (2023)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Parikh Automata over Infinite Words. CoRR (2022)
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CoRR (2022)
Enzo Erlich, Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
History-deterministic Parikh Automata. CoRR (2022)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. ICALP (2022)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
Parikh Automata over Infinite Words. FSTTCS (2022)
Benjamin Bordais, Damien Busatto-Gaston, Shibashis Guha, Jean-François Raskin
Strategy Synthesis for Global Window PCTL. CoRR (2022)
Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. CAV (2) (2022)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. MFCS (2021)
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
Safe Learning for Near-Optimal Scheduling. QEST (2021)
Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct. CoRR (2021)
Mrudula Balachander, Shibashis Guha, Jean-François Raskin
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games. CONCUR (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Mrudula Balachander, Shibashis Guha, Jean-François Raskin
Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower. CoRR (2020)
Gilles Geeraerts, Shibashis Guha, Guillermo A. Pérez, Jean-François Raskin
Safe Learning for Near Optimal Scheduling. CoRR (2020)
Raphaël Berthon, Shibashis Guha, Jean-François Raskin
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. LICS (2020)
Raphaël Berthon, Shibashis Guha, Jean-François Raskin
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. CoRR (2020)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-way Parikh Automata. CoRR (2019)
Shibashis Guha, Ashutosh Trivedi
Expected Reachability-Price Games. FORMATS (2019)
Shibashis Guha, Orna Kupferman, Gal Vardi
Multi-player flow games. Auton. Agents Multi Agent Syst. 33 (6) (2019)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-Way Parikh Automata. FSTTCS (2019)
Benjamin Bordais, Shibashis Guha, Jean-François Raskin
Expected Window Mean-Payoff. FSTTCS (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Shibashis Guha, Orna Kupferman, Gal Vardi
Multi-Player Flow Games. AAMAS (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
. Games 9 (3) (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games with Clocks. MFCS (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games with Clocks. CoRR (2018)
Benjamin Bordais, Shibashis Guha, Jean-François Raskin
Expected Window Mean-Payoff. CoRR (2018)
Gilles Geeraerts, Shibashis Guha, Jean-François Raskin
Safe and Optimal Scheduling for Hard and Soft Tasks. FSTTCS (2018)
Hana Chockler, Shibashis Guha, Orna Kupferman
Timed Vacuity. FM (2018)
Guy Avni, Shibashis Guha, Orna Kupferman
An Abstraction-Refinement Methodology for Reasoning about Network Games. IJCAI (2017)
Guy Avni, Shibashis Guha, Orna Kupferman
Timed Network Games. MFCS (2017)
Devendra Bhave, Shibashis Guha
Adding Dense-Timed Stack to Integer Reset Timed Automata. RP (2017)
Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas
Synthesizing time-triggered schedules for switched networks with faulty links. EMSOFT (2016)
Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar
From Traces to Proofs: Proving Concurrent Programs Safe. TASE (2016)
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
Mean-Payoff Games on Timed Automata. CoRR (2016)
Shibashis Guha, Marcin Jurdzinski, Shankara Narayanan Krishna, Ashutosh Trivedi
Mean-Payoff Games on Timed Automata. FSTTCS (2016)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
From Traces To Proofs: Proving Concurrent Program Safe. CoRR (2015)
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Revisiting Robustness in Priced Timed Games. CoRR (2015)
Shibashis Guha, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
Revisiting Robustness in Priced Timed Games. FSTTCS (2015)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CoRR (2014)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CONCUR (2014)
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. EXPRESS/SOS (2013)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Inferring Fences in a Concurrent Program Using SC proof of Correctness CoRR (2013)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
On Decidability of Prebisimulation for Timed Automata. CAV (2012)
Shibashis Guha, Shankara Narayanan Krishna
Game Characterizations of Timed Relations for Timed Automata Processes CoRR (2012)
Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar
LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime. IDEAS (2006)