-
Selection by year
-
Selection by authors
-
Complete lists
AAGT12
M. Agrawal, S. Akshay, B. Genest, P. S. Thiagarajan. Approximate Verification of the Symbolic Dynamics of Markov Chains. In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Pages 55-64, 2012.
Contact
Blaise Genest http://perso.crans.org/~genest/
BibTex Reference
@InProceedings{AAGT12,
Author = {Agrawal, M. and Akshay, S. and Genest, B. and S. Thiagarajan, P.},
Title = {Approximate Verification of the Symbolic Dynamics of Markov Chains},
BookTitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012},
Pages = {55--64},
Publisher = {IEEE},
Year = {2012}
}
EndNote Reference [help]
Get EndNote Reference (.ref)