Skip to content

Automated Learning of Probabilistic Assumptions for Compositional Reasoning.

Lu Feng, Marta Z. Kwiatkowska, David Parker

VenueBFASE
Year2011
ProceedingsFASE

Browse the full FASE paper archive.