Presentation Matteo Mio
- Venue: E3 Room 2.22
First Talk: Game Semantics for Probabilistic mu-Calculi In this talk I will consider several probabilistic (or quantitative) variants of Kozen’s Modal mu-Calculus, designed for expressing properties of probabilistic-nondeterministic transition systems. Two type of semantics can be defined for these logics: … Continue reading →