Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models

DOI10.1007/978-3-030-57852-7_1MaRDI QIDQ1997254zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

Markov decision processesquantitative verificationdiscrete-time Markov chainsprobabilistic model checking

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theory of computing (68Qxx)

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; zbMATH DE number 52336
• 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

Cites work

• A new classification of 4-bit optimal S-boxes and its application to PRESENT, RECTANGLE and SPONGENT
• Analysis of the Blockchain Protocol in Asynchronous Networks
• Bounds on differential and linear branch number of permutations
• Communication Theory of Secrecy Systems*
• Open-domain question-answering
• Ouroboros: a provably secure proof-of-stake blockchain protocol
• The sleepy model of consensus

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)