University of California, Berkeley
EECS Department
(affiliation)
Institution: University of California, Berkeley
Department: EECS Department
Institution type: university
Country: United States
Place: Berkeley
Affiliated authors
Akkaya, Ilge
Donzé, Alexandre
Seshia, Sanjit A.
Valle, Rafael
Wessel, David
Papers
SMC Conference 2014
Machine Improvisation With Formal Specifications
Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel