Shibashis Guha

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