#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2014

2018

- This year (3)
- Last 5 years (14)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

Given a CNF formula and a weight for each assignment of values to variables, two natural problems are weighted model counting and distribution-aware sampling of satisfying assignments. Both problemsâ€¦ (More)

Constrained-random verification (CRV) is widely used in industry for validating hardware designs. The eâ†µectiveness of CRV depends on the uniformity of test stimuli generated from a given set ofâ€¦ (More)

- Daniel J. Fremont, Alexandre DonzÃ©, Sanjit A. Seshia, David Wessel
- FSTTCS
- 2015

We formalize and analyze a new automata-theoretic problem termed control improvisation. Given an automaton, the problem is to produce an improviser, a probabilistic algorithm that randomly generatesâ€¦ (More)

- Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre DonzÃ©, Edward A. Lee, Sanjit A. Seshia
- 2016 IEEE First International Conference onâ€¦
- 2016

We consider the problem of generating randomized control sequences for complex networked systems typically actuated by human agents. Our approach leverages a concept known as control improvisation,â€¦ (More)

- Kuldeep S. Meel, Moshe Y. Vardi, +5 authors Sharad Malik
- AAAI Workshop: Beyond NP
- 2016

Constrained sampling and counting are two fundamental problems in artificial intelligence with a diverse range of applications, spanning probabilistic reasoning and planning to constrained-randomâ€¦ (More)

- Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia
- AAAI
- 2017

We introduce the problem Max#SAT, an extension of model counting (#SAT). Given a formula over sets of variables X , Y , and Z, the Max#SAT problem is to maximize over the variables X the number ofâ€¦ (More)

Synthetic data has proved increasingly useful in both training and testing machine learning models such as neural networks. The major problem in synthetic data generation is producing meaningful dataâ€¦ (More)

- Daniel J. Fremont, Sanjit A. Seshia
- SMT
- 2014

Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative information flowâ€¦ (More)

- Sanjit A. Seshia, Ankush Desai, +6 authors Xiangyu Yue
- ATVA
- 2018

The increasing use of deep neural networks (DNNs) in a variety of applications, including some safety-critical ones, has brought renewed interest in the topic of verification of neural networks.â€¦ (More)

- Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
- SAT
- 2016

Recent attempts to explain the effectiveness of Boolean sat isfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on the concept ofâ€¦ (More)