Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel. Machine Improvisation with Formal Specifications. In Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014. Michigan Publishing, 2014. [doi]
@inproceedings{DonzeVALSW14,
title = {Machine Improvisation with Formal Specifications},
author = {Alexandre Donzé and Rafael Valle and Ilge Akkaya and Sophie Libkind and Sanjit A. Seshia and David Wessel},
year = {2014},
url = {http://hdl.handle.net/2027/spo.bbp2372.2014.196},
researchr = {https://researchr.org/publication/DonzeVALSW14},
cites = {0},
citedby = {0},
booktitle = {Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, ICMC 2014, and the 11th Sound and Music Computing Conference, SMC 2014, Athens, Greece, September 14-20, 2014},
publisher = {Michigan Publishing},
}