prob-black-reach

MaRDI QIDQ46334swMATHFDO

Official website https://link.springer.com/article/10.1007%2Fs10703-019-00333-0

Source code repository https://github.com/mtappler/prob-black-reach

Described by source

• Probabilistic black-box reachability checking (extended version)

Cited in

(6)

• \(L^\ast\)-based learning of Markov decision processes (extended version)
• Runtime monitors for Markov decision processes
• BisimDist
• SFADiff
• MQTT
• AALpy

This page was built for software: prob-black-reach