Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
 
ISBN
978-3-85448-046-4
 
Publisher Herausgeber
TU Wien Academic Press
 
Place of publishing Erscheinungsort
Wien
 
DOI
10.34727/2021/isbn.978-3-85448-046-4
 

Publications Publikationen

Filter:
Date Issued:  [2000 TO 2022]
Author:  Akshay, S.

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Torfah-2021-Synthesizing Pareto-Optimal Interpretations for Black-Box Models-vor.pdf.jpgTorfah, Hazem ; Shah, Shetal ; Chakraborty, Supratik ; Akshay, S. ; Seshia, Sanjit A. Synthesizing Pareto-Optimal Interpretations for Black-Box ModelsInproceedings Konferenzbeitrag Sep-2021