| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper) | Bhatia, Sahil et al. | 2023 |
| 2 | Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk) | Seshia, Sanjit A. | 2020 |
| 3 | Machine Learning and Formal Methods (Dagstuhl Seminar 17351) | Seshia, Sanjit A. et al. | 2018 |
| 4 | Control Improvisation | Fremont, Daniel J. et al. | 2015 |
| 5 | Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) | Kroening, Daniel et al. | 2014 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |