Robuta

https://www.muni.cz/vyzkum/publikace/2308407 Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions | Masarykova... asymptotic complexity estimates probabilistic programs vass