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 |