Lumpability for uncertain continuous-time Markov chains
type: Item
instance of: scholarly article
title: Lumpability for uncertain continuous-time Markov chains
zbMATH Open document ID: 1492.60219
DOI: 10.1007/978-3-030-85172-9_21
author: Luca Cardelli
author: Radu Grosu
author: Kim G. Larsen
author: Mirco Tribastone
author: Max Tschaikowski
author: Andrea Vandin
publication date: 2022-03-24T00:00:00Z
full work available at URL: qest2021.pdf
Mathematics Subject Classification ID: 60J25
zbMATH DE Number: 7498059
zbMATH Keywords: continuous-time Markov chains
describes a project that uses: ERODE
describes a project that uses: MRMC
describes a project that uses: Storm
describes a project that uses: PRISM
describes a project that uses: Flow*
MaRDI profile type: Publication
OpenAlex ID: W3195444073
cites work: Exact and ordinary lumpability in finite Markov chains
cites work: Optimal Continuous Time Markov Decisions
cites work: Constraint Markov chains
cites work: Symbolic computation of differential equivalences
cites work: Syntactic Markovian Bisimulation for Chemical Reaction Networks
cites work: Precise parameter synthesis for stochastic biochemical systems
cites work: Discrete, Continuous, and Hybrid Petri Nets
cites work: From generic partition refinement to weighted tree automata minimization
cites work: Optimal state-space lumping in Markov chains
cites work: Efficient Coalgebraic Partition Refinement
cites work: Model Checking Software
cites work: Q3525855
cites work: Continuous-time Markov decision processes. Theory and applications
cites work: Exploiting robust optimization for interval probabilistic bisimulation
cites work: Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs
cites work: A Compositional Approach to Performance Modelling
cites work: Three-Valued Abstraction for Continuous-Time Markov Chains
cites work: Q4094202
cites work: Interval-valued finite Markov chains
cites work: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
cites work: Markov Chains
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Exact epidemic models on graphs using graph-automorphism driven lumping
cites work: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
cites work: Q3617561
cites work: Simple O(m logn) Time Markov Chain Lumping
description: scientific article; zbMATH DE number 7498059