Specification-guided Reinforcement Learning
Offered By: Simons Institute via YouTube
Course Description
Overview
Explore specification-guided reinforcement learning in this 33-minute lecture by Rajeev Alur from the University of Pennsylvania. Delve into the synthesis of models and systems, gaining insights into how specifications can guide the reinforcement learning process. Learn about innovative approaches that combine formal specifications with machine learning techniques to enhance the development of intelligent systems.
Syllabus
Specification-guided Reinforcement learning
Taught by
Simons Institute
Related Courses
Automata TheoryStanford University via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX 离散数学概论 Discrete Mathematics Generality
Peking University via Coursera System Validation: Automata and behavioural equivalences
EIT Digital via Coursera System Validation (3): Requirements by modal formulas
EIT Digital via Coursera