15 citations · 21 across the 13 of their papers we have counts for
1 paper · 1 filter
Mario Alviano, Matthias Lanzinger, Michael Morak +1
Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this di…