17 citations · 22 across the 5 of their papers we have counts for
1 paper · 2 filters
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio
Probabilistic transition system specifications (PTSSs) in the ntmufnu/ntmuxnu format provide structural operational semantics for Segala-type systems that exhibit both probabilisti…