Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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. .

This list was generated on Sun Mar 24 12:23:22 2024 GMT.