Paper: Learning Probabilistic Systems from Tree Samples (at LICS 2012)
Authors: Anvesh Komuravelli Corina S. Pasareanu Edmund M. Clarke
Abstract
No Abstract Available
BibTeX
@InProceedings{KomuravelliPasarean-LearningProbabilist, author = {Anvesh Komuravelli and Corina S. Pasareanu and Edmund M. Clarke}, title = {Learning Probabilistic Systems from Tree Samples}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {441--450}, location = {Dubrovnik, Croatia}, publisher = {IEEE Computer Society Press} }