Raphaël Reynouard

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

2021 · arXiv (Cornell University)

Cyber-physical systems (CPSs) are naturally modelled as reactive systems with nondeterministic and probabilistic dynamics. Model-based verification techniques have proved effective in the deployment of safety-critical CPSs. Central for a successful application of such techniques is …