Active Model Learning of Stochastic Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill. Active Model Learning of Stochastic Reactive Systems. In Radu Calinescu, Corina S. Pasareanu, editors, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Volume 13085 of Lecture Notes in Computer Science, pages 481-500, Springer, 2021. [doi]

This author has not been identified. Look up 'Martin Tappler' in GoogleThis author has not been identified. Look up 'Edi Muskardin' in GoogleThis author has not been identified. Look up 'Bernhard K. Aichernig' in GoogleThis author has not been identified. Look up 'Ingo Pill' in Google

runs on WebDSL