( en | de | ru )

 

Disambiguation of "Guha, Shibashis"

Author of the publication

copydeleteadd this publication to your clipboard
Revisiting Robustness in Priced Timed Games.

, , , and . CoRR, (2015)

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

Game Characterizations of Timed Relations for Timed Automata Processes, and . CoRR, (2012)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 . FSTTCS, volume 150 of LIPIcs, page 32:1-32:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Expected Window Mean-Payoff., , and . CoRR, (2018)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)Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes., , and . LICS, page 195-208. ACM, (2020)Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower., , and . CoRR, (2020)On Decidability of Prebisimulation for Timed Automata., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 444-461. Springer, (2012)Multi-player flow games., , and . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable., , , , , , , and . CoRR, (2019)