Multiphase until formulas over Markov reward models: an algebraic approach
type: Item
instance of: scholarly article
title: Multiphase until formulas over Markov reward models: an algebraic approach
zbMATH Open document ID: 1332.68143
author: Ming Xu
author: David N. Jansen
author: Huibiao Zhu
author: Zongyuan Yang
author: Lijun Zhang
published in: Theoretical Computer Science
publication date: 2015-12-15T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6521247
zbMATH Keywords: probabilistic model checking
zbMATH Keywords: Markov reward model
zbMATH Keywords: continuous stochastic logic
zbMATH Keywords: cylindrical algebraic decomposition
zbMATH Keywords: transcendental number
describes a project that uses: MRMC
describes a project that uses: z3
describes a project that uses: PRISM
describes a project that uses: REDLOG
describes a project that uses: REACH
describes a project that uses: iscasMc
MaRDI profile type: Publication
full work available at URL: j.tcs.2015.07.047
OpenAlex ID: W1014907731
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Conditional Probabilities over Probabilistic and Nondeterministic Systems
cites work: Cylindrical Algebraic Decomposition I: The Basic Algorithm
cites work: Performability assessment by model checking of Markov reward models
cites work: Q2754196
cites work: Q4270055
cites work: Q4050665
cites work: Performance-Related Reliability Measures for Computing Systems
cites work: Model checking of probabilistic and nondeterministic systems
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Q4079605
cites work: Q2479551
cites work: Q4385542
cites work: Model checking conditional CSL for continuous-time Markov chains
cites work: Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later
cites work: Q4324960
cites work: Some decidable results on reachability of solvable systems
cites work: Automata-Based CSL Model Checking
cites work: Efficient CSL model checking using stratification
DOI: 10.1016/J.TCS.2015.07.047
description: scientific article; zbMATH DE number 6521247