Data-Driven Synthesis of Full Probabilistic Programs

Article Details
Title:	Data-Driven Synthesis of Full Probabilistic Programs
Article URLs:	https://doi.org/10.1007/978-3-319-63387-9_14
Alternative Article URLs:
Authors:	Sarah Chasins	University of California - Berkeley
Authors:	Phitchaya Mangpo Phothilimthana	University of California - Berkeley
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1139138, 1337415, 1535191, 1106400
DBLP Key:	conf/cav/ChasinsP17
Author Comments:

Computer Aided Verification, CAV 2017