Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models
DOI10.1007/978-3-030-57852-7_1OpenAlexW3082939421MaRDI QIDQ1997254FDOQ1997254
Mohammadsadegh Mohagheghi, Behrang Chaboki
Publication date: 1 March 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-57852-7_1
Recommendations
- Reduction techniques for discrete-time Markov chains on totally ordered state space using stochastic comparisons
- scientific article; zbMATH DE number 939778
- Publication:2785828
- scientific article
- On a new method of Markov chain reduction
- A new method for analysing the equilibrium and time-dependent behaviour of Markovian models
- Quasi-stationary distributions for reducible absorbing Markov chains in discrete time
- Model reduction of discrete Markovian jump systems with time-weighted \(H_{2}\) performance
- Finite-time stochastic reduction models
Markov decision processesquantitative verificationdiscrete-time Markov chainsprobabilistic model checking
Graph theory (including graph drawing) in computer science (68R10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theory of computing (68Qxx)
Cites Work
- Communication Theory of Secrecy Systems*
- The sleepy model of consensus
- Analysis of the Blockchain Protocol in Asynchronous Networks
- Ouroboros: a provably secure proof-of-stake blockchain protocol
- A New Classification of 4-bit Optimal S-boxes and Its Application to PRESENT, RECTANGLE and SPONGENT
- Bounds on differential and linear branch number of permutations
- Open-domain question-answering
This page was built for publication: Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1997254)
