NPTEL Video Course : ACM Winter School on Design, Implementation and Verification of Computer Systems
Lecture 10 - Reactive Synthesis: A High-Level Introduction - Session 1
1x
Search within video (e.g: "first law", "cloud computing" or "resistors")
Speech Recogniser Status:
Not Recognising
Search and Play Video
/
Home
Previous
Next
