APNN-Toolbox
From MaRDI portal
Cited in
(17)- scientific article; zbMATH DE number 2087795 (Why is no real title available?)
- Integrating synchronization with priority into a Kronecker representation
- Model-checking large structured Markov chains.
- scientific article; zbMATH DE number 2102728 (Why is no real title available?)
- Kronecker modeling and analysis of multidimensional Markovian systems
- Analyzing Markov chains using Kronecker products. Theory and applications
- PEPS
- GTAEXPRESS
- LDQBD
- TVT
- Mec 5
- VERSA
- Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
- Validation of Stochastic Systems
- Hierarchical reachability graph generation for Petri nets
- On vector-Kronecker product multiplication with rectangular factors
- Modelling of biochemical reactions by stochastic automata networks
This page was built for software: APNN-Toolbox
