Expressiveness of probabilistic modal logics

Prelegent(ci)

Bartek Klin

Afiliacja

Uniwersytet Warszawski

Termin

17 maja 2017 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

I will show new proofs of expressiveness of modal logics for probabilistic bisimulation and simulation on continuous-state Labelled Markov Processes, with a new result about Polish spaces on the way. This is joint work with Nathanael Fijalkow and Prakash Panangaden, with an important contribution of Roman Pol.

---