Probabilistic black-box reachability checking (extended version)

Bernhard K. Aichernig, Martin Tappler. Probabilistic black-box reachability checking (extended version). Formal Methods in System Design, 54(3):416-448, 2019. [doi]

Abstract

Abstract is missing.