Get started
Author

Shibashis Guha

Synthesizing time-triggered schedules for switched networks with faulty links
2016 · Guy Avni, Shibashis Guha, et al. · ACM International Conference on Embedded Software (EMSOFT) · 27
PDF
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
2024 · Shibashis Guha, Ismaël Jecker, et al. · Logical Methods in Computer Science · 11
PDF
On Decidability of Prebisimulation for Timed Automata
2012 · Shibashis Guha, Chinmay Narayan, et al. · Lecture notes in computer science · 10
PDF
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
2022 · Chaitanya Agarwal, Shibashis Guha, et al. · Lecture notes in computer science · 8
PDF
An Abstraction-Refinement Methodology for Reasoning about Network Games
2017 · Guy Avni, Shibashis Guha, et al. · International Joint Conference on Artificial Intelligence · 8
PDF
Timed Network Games
2017 · Avni, Guy, Guha, Shibashis, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 7
PDF
Reducing Clocks in Timed Automata while Preserving Bisimulation
2014 · Shibashis Guha, Chinmay Narayan, et al. · Lecture notes in computer science · 7
PDF
Parikh Automata over Infinite Words
2022 · Guha, Shibashis, Jecker, Ismaël, et al. · VBN Forskningsportal (Aalborg Universitet) · 5
Multi-player flow games
2019 · Shibashis Guha, Orna Kupferman, et al. · Autonomous Agents and Multi-Agent Systems · 5
Two-Way Parikh Automata
2019 · Emmanuel Filiot, Shibashis Guha, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Expected Window Mean-Payoff
2018 · Bordais, Benjamin, Guha, Shibashis, et al. · Dépôt institutionnel de l'Université libre de Bruxelles (Université Libre de Bruxelles) · 5
Timed Network Games with Clocks
2018 · Avni, Guy, Guha, Shibashis, et al. · arXiv (Cornell University) · 5
PDF
Safe and Optimal Scheduling for Hard and Soft Tasks
2018 · Geeraerts, Gilles, Guha, Shibashis, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
Alternating Tree Automata with Qualitative Semantics
2020 · Raphaël Berthon, Nathanaël Fijalkow, et al. · ACM Transactions on Computational Logic · 4
PDF
Adding Dense-Timed Stack to Integer Reset Timed Automata
2017 · Devendra Bhave, Shibashis Guha · Lecture notes in computer science · 4
History-Deterministic Parikh Automata
2023 · Erlich, Enzo, Guha, Shibashis, et al. · VBN Forskningsportal (Aalborg Universitet) · 3
Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games
2020 · Balachander, Mrudula, Guha, Shibashis, et al. · arXiv (Cornell University) · 3
PDF
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable
2019 · Berthon, Raphaël, Filiot, Emmanuel, et al. · arXiv (Cornell University) · 3
PDF
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
2013 · Shibashis Guha, Shankara Narayanan Krishna, et al. · Electronic Proceedings in Theoretical Computer Science · 3
PDF
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
2024 · Chaitanya Agarwal, Shibashis Guha, et al. · Formal Methods in System Design · 2
PDF
History-Deterministic Parikh Automata
2022 · Erlich, Enzo, Grobler, Mario, et al. · arXiv (Cornell University) · 2
PDF
Two-Way Parikh Automata
2019 · Filiot, Emmanuel, Guha, Shibashis, et al. · arXiv (Cornell University) · 2
PDF
Mean-Payoff Games on Timed Automata
2016 · Guha, Shibashis, Jurdzinski, Marcin, et al. · arXiv (Cornell University) · 2
PDF
LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime
2006 · Shibashis Guha, Srinath Srinivasa, et al. · International Database Engineering and Applications Symposium (IDEAS) · 2
A Game of Pawns
2025 · Guy Avni, Pranav Ghorpade, et al. · Logical Methods in Computer Science · 1
PDF
Works count: 51
Citation count: 147
H-index: 7
I10-index: 3
Year
Topic
Type