Learning Probabilistic Systems from Tree Samples.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Browse the full LICS paper archive.