prob-black-reach

swMATH34625MaRDI QIDQ46334FDOQ46334

Author name not available (Why is that?)

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

Described by source

• Probabilistic black-box reachability checking (extended version)

Cited In (2)

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

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