YoVDO

Synthesis and Verification of Finite Horizon Tasks

Offered By: Simons Institute via YouTube

Tags

Formal Methods Courses Automata Theory Courses Computational Complexity Courses Reactive Systems Courses Temporal Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Languages
Weizmann 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