Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-54804-8_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Multi-Objective Model Checking of Markov Decision Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Counterexamples in Probabilistic Model Checking

English

Advances and Challenges of Probabilistic Model Checking

2010English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Probabilistic Reasoning and Multiple-Expert Methodology for Correlated Objective Data

Artificial Intelligence in Engineering
1998English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking

English

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Probabilistic Reasoning

1993English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy