32 citations · 37 across the 4 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 4 cited
Bisimulations for Nondeterministic Labeled Markov Processes
Pedro D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermin…
cs.LO2010★ 1 cited
Automatic Probabilistic Program Verification through Random Variable Abstraction
Damián Barsotti, Nicolás Wolovick
The weakest pre-expectation calculus has been proved to be a mature theory to analyze quantitative properties of probabilistic and nondeterministic programs. We present an automati…