Approximate Verification of the Symbolic Dynamics of Markov Chains - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of the ACM (JACM) Année : 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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
226 Consultations
343 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More