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)