235 citations · 346 across the 15 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 235 cited
Scenic: A Language for Scenario Specification and Scene Generation
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh +3
We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning. Specifically, we consider the pro…
cs.LO2018
Reactive Control Improvisation
Daniel J. Fremont, Sanjit A. Seshia
Reactive synthesis is a paradigm for automatically building correct-by-construction systems that interact with an unknown or adversarial environment. We study how to do reactive sy…