Active model learning of stochastic reactive systems (extended version)

Edi Muskardin, Martin Tappler, Bernhard K. Aichernig, Ingo Pill. Active model learning of stochastic reactive systems (extended version). Software and Systems Modeling, 23(2):503-524, April 2024. [doi]

Abstract

Abstract is missing.