235 citations · 346 across the 15 of their papers we have counts for
4 papers · 1 filter
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
Andreas Gittis, Eric Vin, Daniel J. Fremont
In many synthesis problems, it can be essential to generate implementations which not only satisfy functional constraints but are also randomized to improve variety, robustness, or…
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…
On the Hardness of SAT with Community Structure
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on…
Speeding Up SMT-Based Quantitative Program Analysis
Daniel J. Fremont, Sanjit A. Seshia
Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative inform…