Synthesis and Verification of Finite Horizon Tasks
Offered By: Simons Institute via YouTube
Course Description
Overview
Explore a comprehensive lecture on the synthesis and verification of finite horizon tasks presented by Suguman Bansal from the Georgia Institute of Technology. Delve into advanced concepts related to model and system synthesis, focusing on techniques and methodologies applicable to tasks with defined time constraints. Gain insights into cutting-edge research and practical applications in this specialized field of computer science and engineering.
Syllabus
Synthesis and Verification of Finite Horizon Tasks
Taught by
Simons Institute
Related Courses
Programming for Everyone – An Introduction to Visual Programming LanguagesWeizmann Institute of Science via edX Programming Reactive Systems
École Polytechnique Fédérale de Lausanne via edX Programming Reactive Systems
École Polytechnique Fédérale de Lausanne via Coursera Programming Reactive Systems (Scala 2 version)
École Polytechnique Fédérale de Lausanne via Coursera Building Reactive Microservices
Pluralsight