Machine Improvisation with Formal Specifications

Author: 
Donze, A, Akkaya, I, Seshia, SA, Libkind, S, Valle, R, Wessel, D
Publication date: 
January 1, 2014
Publication type: 
Conference Paper

Document

PDF icon 2014_machine_improvisation.pdf