21 citations · 48 across the 15 of their papers we have counts for
1 paper · 1 filter
Daniel J. Fremont, Edward Kim, Tommaso Dreossi +4
We propose a new probabilistic programming language for the design and analysis of cyber-physical systems, especially those based on machine learning. Specifically, we consider the…