Shibashis Guha

Available identifiers

zbMath Open guha.shibashisMaRDI QIDQ832073

List of research outcomes

Publication	Date of Publication	Type
Stochastic window mean-payoff games	2024-10-30	Paper
Parikh automata over Infinite words	2024-09-12	Paper
Strategy synthesis for global window PCTL	2024-06-24	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct	2024-01-16	Paper
Set augmented finite automata over infinite alphabets	2023-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q6176102	2023-08-21	Paper
A bit of nondeterminism makes pushdown automata expressive and succinct	2023-08-08	Paper
Two-Way Parikh Automata	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5875667	2023-02-03	Paper
Timed network games	2023-01-12	Paper
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5090977	2022-07-21	Paper
Safe learning for near-optimal scheduling	2022-03-24	Paper
Timed network games with clocks	2021-08-04	Paper
A unifying approach to decide relations for timed automata and their game characterization	2021-06-09	Paper
Timed vacuity	2021-05-04	Paper
Mixing probabilistic and non-probabilistic objectives in Markov decision processes	2021-01-21	Paper
Timed network games	2020-05-26	Paper
Expected reachability-price games	2020-05-05	Paper
An abstraction-refinement methodology for reasoning about network games	2018-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q4636594	2018-04-19	Paper
Adding dense-timed stack to integer reset timed automata	2017-12-20	Paper
Revisiting robustness in priced timed games	2017-07-13	Paper
Reducing clocks in timed automata while preserving bisimulation	2014-09-15	Paper

Research outcomes over time

This page was built for person: Shibashis Guha