NPTEL Video Course : ACM Winter School on Design, Implementation and Verification of Computer Systems


Lecture 13 - Reactive Synthesis: A High-Level Introduction - Session 4


            


DIGIMAT Learning Management Platform