Viðburðir framundan

ICE-TCS seminar: Valentina Castiglioni

Probabilistic Semantics: Discovering the Interplay of Nondeterminism and Probability

  • 30.9.2019, 11:50 - 12:35

ICE-TCS-logo-200px

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.



Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
//
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is