Correct approximation of stationary distributions
From MaRDI portal
Publication:6535371
DOI10.1007/978-3-031-30823-9_25MaRDI QIDQ6535371
Publication date: 13 December 2023
Markov chains (discrete-time Markov processes on discrete state spaces) (60J10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Correct approximation of stationary distributions