activity
20082026
most citedSmart Sampling for Lightweight Verification of Markov Decision Processes

56 citations · 87 across the 18 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.LO2015★ 3 cited

SOS rule formats for convex and abstract probabilistic bisimulations

Pedro R. D'Argenio, Matias David Lee, Daniel Gebler

Probabilistic transition system specifications (PTSSs) in the format provide structural operational semantics for Segala-type systems that exhibit both probabilisti…