( en | de | ru )

 

Disambiguation of "Guha, Shibashis"

Author of the publication

copydeleteadd this publication to your clipboard
Parikh Automata over Infinite Words.

, , , and . FSTTCS, volume 250 of LIPIcs, page 40:1-40:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elmar Guha

Gaurisankar Guha

Saikat Guha

Santosh Guha

Bimal Chandra Guha

 

Other publications of authors with the same name

On Decidability of Prebisimulation for Timed Automata., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 444-461. Springer, (2012)Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games., , and . CONCUR, volume 203 of LIPIcs, page 9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Set Augmented Finite Automata over Infinite Alphabets., , and . DLT, volume 13911 of Lecture Notes in Computer Science, page 36-50. Springer, (2023)A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct., , , and . Log. Methods Comput. Sci., (2024)Stochastic Window Mean-Payoff Games., , and . FoSSaCS (1), volume 14574 of Lecture Notes in Computer Science, page 34-54. Springer, (2024)Game Characterizations of Timed Relations for Timed Automata Processes, and . CoRR, (2012)Expected Window Mean-Payoff., , and . FSTTCS, volume 150 of LIPIcs, page 32:1-32:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Safe and Optimal Scheduling for Hard and Soft Tasks., , and . FSTTCS, volume 122 of LIPIcs, page 36:1-36:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes., , and . LICS, page 195-208. ACM, (2020)PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP., , , and . CAV (2), volume 13372 of Lecture Notes in Computer Science, page 3-25. Springer, (2022)