74 citations · 212 across the 19 of their papers we have counts for
1 paper · 2 filters
Raúl Pardo, Einar Broch Johnsen, Ina Schaefer +1
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the pr…