On the complexity of model checking interval-valued discrete time Markov chains
type: Item
instance of: scholarly article
title: On the complexity of model checking interval-valued discrete time Markov chains
zbMATH Open document ID: 1259.68150
author: Taolue Chen
author: Tingting Han
author: Marta Kwiatkowska
published in: Information Processing Letters
publication date: 2013-03-20T00:00:00Z
Mathematics Subject Classification ID: 68Q87
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 6147230
zbMATH Keywords: formal methods
zbMATH Keywords: discrete time Markov chain
zbMATH Keywords: reachability
zbMATH Keywords: PCTL
zbMATH Keywords: complexity
zbMATH Keywords: linear programming
MaRDI profile type: Publication
full work available at URL: j.ipl.2013.01.004
OpenAlex ID: W2144502731
DOI: 10.1016/J.IPL.2013.01.004
description: scientific article; zbMATH DE number 6147230