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}
}
