Matteo Mio (CWI, Amsterdam), Semantic Foundations of Quantitative (real-valued) Logics based on Functional Analysis



Several notions of bisimulation for Probabilistic Nondeterministic Transition Systems (PNTS) have been proposed in the literature. We develop the theory of what we 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.

Pièces jointes