2006-06-24
Program synthesis talk
On June 8th I gave a talk for Orna Grumberg’s seminar in formal verification presenting Kupferman and Vardi’s 1997 paper Synthesis with Incomplete Information. I’ve posted the slides.
Filed by Michael Greenberg on 2006-06-24 at 1:20pm under Temporal Logic and Verification
2 Comments
