Foundations of Quantitative Logics based on Functional Analysis

Prelegent(ci)

Matteo Mio

Afiliacja

CWI - Amsterdam

Termin

23 października 2013 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

Several notions of bisimulation relations for Probabilistic Nondeterministic Transition Systems (PNTS's) have been proposed in the literature. I will develop the theory of what I call "Upper-Expectation bisimilarity" using standard results of linear algebra and functional analysis and provide strong mathematical foundations for real-valued modal logics for PNTS's.

---