• 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 →

• Venue: E3 Room 2.22

Second Talk: Semantic Foundations of Quantitative (real-valued) Logics based on Functional Analysis Abstract: Several notions of bisimulation for Probabilistic Nondeterministic Transition Systems (PNTS) have been proposed in the literature. I will develop the theory of what I call “Upper-Expectation bisimilarity” … Continue reading →

• Venue: E3 Room 2.22

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains   Abstract: We present a novel technique to analyze the bounded reachability probability problem for large Markov chains. The essential idea is to incrementally search for sets of paths … Continue reading →