Bernhard K. Aichernig, Martin Tappler. Probabilistic black-box reachability checking (extended version). Formal Methods in System Design, 54(3):416-448, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.