Showing cs.LGShow all
2 papers · 1 filter
cs.LG2021
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…
cs.LG2019
L*-Based Learning of Markov Decision Processes (Extended Version)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci +2
Automata learning techniques automatically generate system models from test observations. These techniques usually fall into two categories: passive and active. Passive learning us…