E-LIB Suche - Ergebnisse für: Guha, Shibashis

1

Stochastic Window Mean-Payoff Games:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Doyen, Laurent ; Gaba, Pranshu ; Guha, Shibashis - p. 34-54 , 2024

Link: https://doi.org/10.1007/..

2

Timed network games:

Avni, Guy ; Guha, Shibashis ; Kupferman, Orna
Information and Computation. 290 (2023) - p. 104996 , 2023

Link: https://doi.org/10.1016/..

3

Set Augmented Finite Automata over Infinite Alphabets:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Banerjee, Ansuman ; Chatterjee, Kingshuk ; Guha, Shibashis - p. 36-50 , 2023

Link: https://doi.org/10.1007/..

4

PAC Statistical Model Checking of Mean Payoff in Discrete- ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Agarwal, Chaitanya ; Guha, Shibashis ; Křetínský, Jan. - p. 3-25 , 2022

Link: https://doi.org/10.1007/..

5

Safe Learning for Near-Optimal Scheduling:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Busatto-Gaston, Damien ; Chakraborty, Debraj ; Guha, Shibashis.. - p. 235-254 , 2021

Link: https://doi.org/10.1007/..

6

Mixing Probabilistic and non-Probabilistic Objectives in Ma..:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Berthon, Raphaël ; Guha, Shibashis ; Raskin, Jean-François - p. 195-208 , 2020

Link: https://dl.acm.org/doi/1..

7

Alternating Tree Automata with Qualitative Semantics:

Berthon, Raphaël ; Fijalkow, Nathanaël ; Filiot, Emmanuel...
ACM Transactions on Computational Logic. 22 (2020) 1 - p. 1-24 , 2020

Link: https://doi.org/10.1145/..

8

Alternating Tree Automata with Qualitative Semantics:

Berthon, Raphaël ; Fijalkow, Nathanaël ; Filiot, Emmanuel...
ACM Transactions on Computational Logic (TOCL). 22 (2020) 1 - p. 1-24 , 2020

Link: https://dl.acm.org/doi/1..

9

Multi-player flow games:

Guha, Shibashis ; Kupferman, Orna ; Vardi, Gal
Autonomous Agents and Multi-Agent Systems. 33 (2019) 6 - p. 798-820 , 2019

Link: https://doi.org/10.1007/..

10

Expected Reachability-Price Games:

, In: Lecture Notes in Computer Science; Formal Modeling and Analysis of Timed Systems,

Guha, Shibashis ; Trivedi, Ashutosh - p. 282-300 , 2019

Link: https://doi.org/10.1007/..

11

Multi-Player Flow Games:

, In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems,

Guha, Shibashis ; Kupferman, Orna ; Vardi, Gal - p. 104-112 , 2018

Link: https://dl.acm.org/doi/1..

12

An Abstraction-Refinement Methodologyfor Reasoning about Ne..:

Avni, Guy ; Guha, Shibashis ; Kupferman, Orna
Games. 9 (2018) 3 - p. 39 , 2018

Link: https://doi.org/10.3390/..

13

Synthesizing time-triggered schedules for switched networks..:

, In: Proceedings of the 13th International Conference on Embedded Software,

Avni, Guy ; Guha, Shibashis ; Rodriguez-Navas, Guillermo - p. 1-10 , 2016

Link: https://dl.acm.org/doi/1..

14

A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE ..:

Guha, Shibashis ; Jecker, Ë, L ; Lehtinen, Karoliina..
info:eu-repo/semantics/altIdentifier/arxiv/2105.02611. , 2023

Link: https://hal.science/hal-..

15

Set Augmented Finite Automata over Infinite Alphabets:

Banerjee, Ansuman ; Chatterjee, Kingshuk ; Guha, Shibashis
http://arxiv.org/abs/2311.06514. , 2023

Link: http://arxiv.org/abs/231..