Active model learning of stochastic reactive systems. (English) Zbl 1522.68348
Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 481-500 (2021).
