%0 Journal Article %J ACM : Computers in Entertainment (Musical Metacreation) %D 2016 %T Specification Mining For Machine Improvisation With Formal Specifications %A Valle, Rafael %A Donzé, Alexandre %A Fremont, Daniel %A Akkaya, Ilge %A Seshia, Sanjit %A Freed, Adrian %A Wessel, David %R 10.1145/2967504 %U https://dl.acm.org/citation.cfm?doid=3023312.2967504 %V 14 Issue 3 %X We address the problem of mining musical specifications from a training set of songs, and using these specifications in a machine improvisation system capable of generating improvisations imitating a given style of music. Our inspiration comes from Control Improvisation, which combines learning and synthesis from formal specifications. We learn from symbolic musical data specifications based on musical and general usage patterns. We use the mined specifications to ensure that an improvised musical sequence satisfies desirable properties given a harmonic context and musical form. We present a specification mining strategy based on finite state automata and Markov chains, and apply it to the problem of supervising the improvisation of blues songs. We present an analysis of the mined specifications and compare the results of supervised and unsupervised improvisations. %8 2016 %> http://www.adrianfreed.com/sites/default/files/msm16.pdf