Shibashis Guha

Available identifiers

zbMath Open guha.shibashisMaRDI QIDQ832073

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5875667	2023-02-03	Paper
Two-Way Parikh Automata	2023-02-03	Paper
Timed network games	2023-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5090977	2022-07-21	Paper
Safe learning for near-optimal scheduling	2022-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q5005123	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4992499	2021-06-09	Paper
Timed vacuity	2021-05-04	Paper
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5111251	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shibashis Guha