( 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

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)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)Game Characterizations of Timed Relations for Timed Automata Processes, and . CoRR, (2012)Set Augmented Finite Automata over Infinite Alphabets., , and . DLT, volume 13911 of Lecture Notes in Computer Science, page 36-50. Springer, (2023)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)Multi-player flow games., , and . Auton. Agents Multi Agent Syst., 33 (6): 798-820 (2019)Stackelberg Mean-payoff Games with a Rationally Bounded Adversarial Follower., , and . CoRR, (2020)