Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matteo Mio

Probabilistic Modal μ-Calculus With Independent Product

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Related publications

Probabilistic Temporal Logics via the Modal Mu-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Probabilistic Asynchronous Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Multi-Modal Intention Prediction With Probabilistic Movement Primitives

Human Friendly Robotics
2018English

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Probabilistic Logic Programming Event Calculus

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2014English

Probabilistic -Calculus and Quantitative Program Analysis

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2005English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Cross-Modal Object Recognition Is Viewpoint-Independent

PLoS ONE
Multidisciplinary
2007English

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy