Interpreting Models of Social Group Interactions in Meetings With Probabilistic Model Checking

doi 10.1145/3279981.3279988
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Counterexamples in Probabilistic Model Checking

English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Advances and Challenges of Probabilistic Model Checking

2010English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

Validation of Service Level Agreements Using Probabilistic Model Checking

2017English

Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Extrapolation of an Optimal Policy Using Statistical Probabilistic Model Checking

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy