research
∙
02/16/2023
MM Algorithms to Estimate Parameters in Continuous-time Markov Chains
Continuous-time Markov chains (CTMCs) are popular modeling formalism tha...
share
research
∙
10/06/2021
Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)
Cyber-physical systems (CPSs) are naturally modelled as reactive systems...
research
∙
04/27/2021
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
We introduce polynomial couplings, a generalization of probabilistic cou...
research
∙
06/26/2020
Approximating Euclidean by Imprecise Markov Decision Processes
Euclidean Markov decision processes are a powerful tool for modeling con...
research
∙
07/03/2019
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
The probabilistic bisimilarity distance of Deng et al. has been proposed...
research
∙
06/28/2019