YoVDO

Specification-guided Reinforcement Learning

Offered By: Simons Institute via YouTube

Tags

Reinforcement Learning Courses Automata Theory Courses Temporal Logic Courses

Course Description

Overview

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