Probabilistic Modal μ-Calculus With Independent Product

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-8(4:18)2012
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

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