Analysis of timed and long-run objectives for Markov automata
type: Item
instance of: scholarly article
zbMATH Open document ID: 1342.68135
DOI: 10.2168/LMCS-10(3:17)2014
author: Dennis Guck
author: Hassan Hatefi
author: Holger Hermanns
author: Mark Timmer
author: Joost-Pieter Katoen
published in: Logical Methods in Computer Science
publication date: 2014-09-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/1407.7356
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6349736
zbMATH Keywords: quantitative analysis
zbMATH Keywords: Markov automata
zbMATH Keywords: continuous time
zbMATH Keywords: expected time
zbMATH Keywords: longrun average
zbMATH Keywords: timed reachability
Wikidata QID: Q57800783
describes a project that uses: MAMA
describes a project that uses: SCOOP
MaRDI profile type: Publication
arXiv ID: 1407.7356
OpenAlex ID: W2172279531
Recommended article: Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Recommended article: Markov automata with multiple objectives
Recommended article: Modelling and Analysis of Markov Reward Automata
Recommended article: Long-Run Rewards for Markov Automata
Recommended article: Q3766857
Recommended article: LTL Model Checking of Interval Markov Chains
Recommended article: LTL Model Checking of Time-Inhomogeneous Markov Chains
Recommended article: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
title: Analysis of timed and long-run objectives for Markov automata
description: scientific article; zbMATH DE number 6349736