Validation of Stochastic Systems
From MaRDI portal
(Redirected from Publication:5325840)
Validation of Stochastic Systems (scientific article; zbMATH DE number 5586607)
Validation of Stochastic Systems (scientific article; zbMATH DE number 5586607)
Recommendations
- Compact representation of solution vectors in Kronecker-based Markovian analysis
- Analyzing Markov chains using Kronecker products. Theory and applications
- scientific article; zbMATH DE number 1884416
- Kronecker modeling and analysis of multidimensional Markovian systems
- Comparison of multilevel methods for Kronecker-based Markovian representations
Cited in
(12)- Approximate lumpability for Markovian agent-based models using local symmetries
- Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums
- Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
- scientific article; zbMATH DE number 1884416 (Why is no real title available?)
- Kronecker modeling and analysis of multidimensional Markovian systems
- Model decomposition and stochastic fragments
- Compositional model checking of product-form CTMCs
- Stochastic Semantics of Signaling as a Composition of Agent-view Automata
- scientific article; zbMATH DE number 1538067 (Why is no real title available?)
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
- Compact representation of solution vectors in Kronecker-based Markovian analysis
- A stochastic automata network description for spatial DNA-methylation models
This page was built for publication: Validation of Stochastic Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325840)
