prob-black-reach

swMATH34625MaRDI QIDQ46334FDOQ46334

Author name not available (Why is that?)

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)
• AALpy
• Runtime monitors for Markov decision processes
• BisimDist
• SFADiff
• MQTT

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