prob-black-reach

swMATH34625MaRDI QIDQ46334

No author found.

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

Described by source

• Probabilistic black-box reachability checking (extended version)

Related Items (2)

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

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