Active Learning of Markov Decision Processes using Baum-Welch algorithm (Extended)

Giovanni Bacci, Anna Ingólfsdóttir, Kim Larsen +1

Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective…