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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI