Fremont, Daniel J.

4 publications

MLJ 2023 Guest Editorial: Special Issue on Robust Machine Learning Ransalu Senanayake, Daniel J. Fremont, Mykel J. Kochenderfer, Alessio R. Lomuscio, Dragos D. Margineantu, Cheng Soon Ong

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