| Synthesizing time-triggered schedules for switched networks with faulty links G Avni, S Guha, G Rodriguez-Navas Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 37 | 2016 |
| An Abstraction-Refinement Methodologyfor Reasoning about Network Games G Avni, S Guha, O Kupferman Games 9 (3), 39, 2018 | 17 | 2018 |
| On decidability of prebisimulation for timed automata S Guha, C Narayan, S Arun-Kumar Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 15 | 2012 |
| Reducing clocks in timed automata while preserving bisimulation S Guha, C Narayan, S Arun-Kumar CONCUR 2014–Concurrency Theory: 25th International Conference, CONCUR 2014 …, 2014 | 14 | 2014 |
| A bit of nondeterminism makes pushdown automata expressive and succinct S Guha, I Jecker, K Lehtinen, M Zimmermann Logical Methods in Computer Science 20, 2024 | 13 | 2024 |
| Timed network games G Avni, S Guha, O Kupferman 42nd International Symposium on Mathematical Foundations of Computer Science …, 2017 | 11 | 2017 |
| Two-way Parikh automata E Filiot, S Guha, N Mazzocchi arXiv preprint arXiv:1907.09362, 2019 | 10 | 2019 |
| Mixing probabilistic and non-probabilistic objectives in markov decision processes R Berthon, S Guha, JF Raskin Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 9 | 2020 |
| Alternating tree automata with qualitative semantics R Berthon, N Fijalkow, E Filiot, S Guha, B Maubert, A Murano, L Pinault, ... ACM Transactions on Computational Logic (TOCL) 22 (1), 1-24, 2020 | 8 | 2020 |
| Parikh automata over infinite words S Guha, I Jecker, K Lehtinen, M Zimmermann arXiv preprint arXiv:2207.07694, 2022 | 7 | 2022 |
| Multi-player flow games S Guha, O Kupferman, G Vardi Autonomous Agents and Multi-Agent Systems 33, 798-820, 2019 | 7 | 2019 |
| History-deterministic parikh automata E Erlich, S Guha, I Jecker, K Lehtinen, M Zimmermann arXiv preprint arXiv:2209.07745, 2022 | 6 | 2022 |
| PAC statistical model checking of mean payoff in discrete-and continuous-time MDP C Agarwal, S Guha, J Křetínský, P Muruganandham International Conference on Computer Aided Verification, 3-25, 2022 | 6 | 2022 |
| Timed network games with clocks G Avni, S Guha, O Kupferman arXiv preprint arXiv:1808.04882, 2018 | 6 | 2018 |
| Safe and optimal scheduling for hard and soft tasks G Geeraerts, S Guha, JF Raskin 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 6 | 2018 |
| A unifying approach to decide relations for timed automata and their game characterization S Guha, SN Krishna, C Narayan, S Arun-Kumar arXiv preprint arXiv:1307.7443, 2013 | 6 | 2013 |
| Fragility and robustness in mean-payoff adversarial stackelberg games M Balachander, S Guha, JF Raskin arXiv preprint arXiv:2007.07209, 2020 | 5 | 2020 |
| Expected window mean-payoff B Bordais, S Guha, JF Raskin arXiv preprint arXiv:1812.09298, 2018 | 5 | 2018 |
| Safe learning for near-optimal scheduling D Busatto-Gaston, D Chakraborty, S Guha, GA Pérez, JF Raskin International Conference on Quantitative Evaluation of Systems, 235-254, 2021 | 3 | 2021 |
| Monadic second-order logic with path-measure quantifier is undecidable R Berthon, E Filiot, S Guha, B Maubert, A Murano, L Pinault, JF Raskin, ... arXiv preprint arXiv:1901.04349, 2019 | 3 | 2019 |
