Quantitative Multi-objective Verification for Probabilistic Systems
type: Item
instance of: scholarly article
title: Quantitative Multi-objective Verification for Probabilistic Systems
zbMATH Open document ID: 1315.68177
DOI: 10.1007/978-3-642-19835-9_11
published in: Tools and Algorithms for the Construction and Analysis of Systems
publication date: 2011-05-19T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 5897400
describes a project that uses: PRISM
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-19835-9 11
OpenAlex ID: W1584965098
cites work: Quantitative Analysis under Fairness Constraints
cites work: Q4673428
cites work: Model checking of probabilistic and nondeterministic systems
cites work: Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
cites work: Markov Decision Processes with Multiple Long-Run Average Objectives
cites work: Markov Decision Processes with Multiple Objectives
cites work: Q4380367
cites work: Markov decision processes and regular events
cites work: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
cites work: Multi-Objective Model Checking of Markov Decision Processes
cites work: Q5528211
cites work: Assume-Guarantee Verification for Probabilistic Systems
cites work: Using probabilistic model checking for dynamic power management
description: scientific article; zbMATH DE number 5897400