Fremont, Daniel J.

3 publications

MLJ 2023 Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia

AAAI 2017 Maximum Model Counting Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia

AAAI 2014 Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi