Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications.

Wonhyuk Choi, Michel Vazirani, Mark Santolucito

Browse the full APLAS paper archive.