 | Up a level |
Number of items: 3.
Kiefer, S and Tang, Q 
ORCID: 0000-0002-9265-3011
(2021)
Approximate Bisimulation Minimisation.
.
Kiefer, S and Tang, Q ORCID: 0000-0002-9265-3011
(2022)
Strategies for MDP Bisimilarity Equivalence and Inequivalence.
.
Kiefer, S, Mayr, R, Shirmohammadi, M and Totzke, P ORCID: 0000-0001-5274-8190
(2021)
Transience in Countable MDPs.
In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021-8-23 - 2021-8-27, Paris.