M
Matteo Mio
Researcher at École Polytechnique
Publications - 14
Citations - 134
Matteo Mio is an academic researcher from École Polytechnique. The author has contributed to research in topics: Probabilistic logic & Game semantics. The author has an hindex of 7, co-authored 10 publications receiving 126 citations. Previous affiliations of Matteo Mio include Centrum Wiskunde & Informatica.
Papers
More filters
Journal ArticleDOI
Probabilistic modal \mu-calculus with independent product
TL;DR: The probabilistic modal µ-calculus with independent product and coproduct (PCTL-with-independent product) as mentioned in this paper is an extension of PCTL that allows a play to be split into concurrent subplays.
Journal ArticleDOI
Probabilistic modal mu-calculus with independent product
TL;DR: The definition of an appropriate game semantics for this extended probabilistic modal {\mu}-calculus relies on the definition of a new class of games which generalize standard two-player stochastic games by allowing a play to be split into concurrent subplays, each continuing their evolution independently.
Journal ArticleDOI
On the equivalence of game and denotational semantics for the probabilistic mu-calculus
TL;DR: This paper proves that the equivalence of the two semantics on arbitrary models holds for arbitrary infinite models, and thus strengthens the fruitful connection between denotational and game semantics for probabilistic modal mu-calculus.
Proceedings Article
The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus.
Book ChapterDOI
A proof system for compositional verification of probabilistic concurrent processes
Matteo Mio,Alex Simpson +1 more
TL;DR: The main result is the soundness of the proof system, which is proved by applying the coupling method from probability theory to the game semantics of the probabilistic modal μ-calculus.