( en | de | ru )

 

Disambiguation of "Guha, Shibashis"

Author of the publication

copydeleteadd this publication to your clipboard
Adding Dense-Timed Stack to Integer Reset Timed Automata.

, and . RP, volume 10506 of Lecture Notes in Computer Science, page 9-25. Springer, (2017)

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

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)Expected Window Mean-Payoff., , and . CoRR, (2018)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)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)Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable., , , , , , , and . CoRR, (2019)Multi-player flow games., , and . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)On Decidability of Prebisimulation for Timed Automata., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 444-461. Springer, (2012)Stochastic Window Mean-payoff Games., , and . CoRR, (2023)