Up a level |
Number of items: 3.
Kiefer, S and Tang, Q ORCID: 0000-0002-9265-3011
(2021)
Approximate Bisimulation Minimisation.
.
Schewe, S ORCID: 0000-0002-9093-9518, Tang, Q ORCID: 0000-0002-9265-3011 and Zhanabekova, T
(2023)
Deciding What Is Good-For-MDPs.
In: CONCUR 2023.
Kiefer, S and Tang, Q ORCID: 0000-0002-9265-3011
(2022)
Strategies for MDP Bisimilarity Equivalence and Inequivalence.
.