Decidable Problems for Probabilistic Automata on Infinite Words (bibtex)
by Krishnendu Chatterjee, Mathieu Tracol
Reference:
Decidable Problems for Probabilistic Automata on Infinite WordsKrishnendu Chatterjee, Mathieu TracolLICS, pages 185-194, 2012.
Bibtex Entry:
@inproceedings{CT12,
title = {Decidable Problems for Probabilistic Automata on Infinite Words},
url = {http://arxiv.org/pdf/1107.2091.pdf?origin=publication_detail},
booktitle = {LICS},
author = {Krishnendu Chatterjee and Mathieu Tracol},
year = {2012},
pages = {185-194},
}
Powered by bibtexbrowser