Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel. Specification Mining for Machine Improvisation with Formal Specifications. Computers in Entertainment, 14(3), 2016. [doi]
@article{ValleDFASFW16,
title = {Specification Mining for Machine Improvisation with Formal Specifications},
author = {Rafael Valle and Alexandre Donzé and Daniel J. Fremont and Ilge Akkaya and Sanjit A. Seshia and Adrian Freed and David Wessel},
year = {2016},
doi = {10.1145/2967504},
url = {http://doi.acm.org/10.1145/2967504},
researchr = {https://researchr.org/publication/ValleDFASFW16},
cites = {0},
citedby = {0},
journal = {Computers in Entertainment},
volume = {14},
number = {3},
}