ICE-TCS seminar: Valentina Castiglioni
Probabilistic Semantics: Discovering the Interplay of Nondeterminism and Probability
ICE-TCS seminar #340
Date and time: Monday, 30 September 2019, 11:50-12:35
Location: Room M1.06
Speaker: Valentina Castiglioni (Reykjavik University)
Title: Probabilistic Semantics: Discovering the Interplay of Nondeterminism and Probability
Abstract:
In this talk I will give an overview of the results that I have obtained during my PhD at the University of Insubria (Como, Italy).
Back then, my research was focused on Segala's systems, namely processes showing both a nondeterministic and a probabilistic behavior, and I proposed novel techniques to analyze their semantics, in terms of both behavioral metrics and equivalences, including:
- a SOS-based method for decomposing modal formulae and allowing us to derive the compositional properties of probabilistic strong and weak (bi)simulations;
- an alternative logical characterization technique for both metrics and equivalences;
- a quantitative version of van Glabbeek's linear time - branching time spectrum.