Talks on Other Interesting Topics

In these talks we consider other problems related to probabilistic systems that do not fit in the previous categories.Back to Start page

Title	Authors	Reference Papers
Operational versus Weakest Pre-expectation Semantics for the Probabilistic Guarded Command Language	F. Gretz, J.-P. Katoen, A. McIver	paper
Commutativity of reducers	Chen et. al.	paper
Slicing probabilistic programs	Hur et. al.	paper