Approximate Verification of the Symbolic Dynamics of Markov Chains - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of the ACM (JACM) Year : 2015

Approximate Verification of the Symbolic Dynamics of Markov Chains

Fichier principal
Vignette du fichier
AAGT15.pdf (656.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00920793 , version 1 (18-10-2015)

Identifiers

Cite

Manindra Agrawal, Sundararaman Akshay, Blaise Genest, P.S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. Journal of the ACM (JACM), 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩. ⟨hal-00920793⟩
213 View
288 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More