Publications

Filters: Author is Seshia, Sanjit  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Specification Mining For Machine Improvisation With Formal Specifications, Valle, Rafael, Donzé Alexandre, Fremont Daniel, Akkaya Ilge, Seshia Sanjit, Freed Adrian, and Wessel David , ACM : Computers in Entertainment (Musical Metacreation), 2016, Volume 14 Issue 3, (2016) Abstract  Download: msm16.pdf (795.48 KB)