YoVDO

Fast Learning of Small Strategies - Jan Křetínský, Technical University of Munich

Offered By: Alan Turing Institute via YouTube

Tags

Markov Decision Processes Courses Machine Learning Courses Reinforcement Learning Courses Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 39-minute conference talk on merging verification and machine learning approaches to analyze Markov decision processes. Learn how to quickly develop ε-optimal strategies and represent them concisely for better understanding and debugging. Discover the speaker's method for combining the precision of verification algorithms with the scalability of machine learning techniques. Gain insights into the application of this approach to complex systems analysis, formal methods development, and practical problem-solving. Understand the structure of the talk, which covers topics such as degrees of freedom, machine learning, reinforcement learning, and defining important decisions, concluding with an example and final thoughts.

Syllabus

Intro
Degrees of freedom
Hero
Machine Learning
Reinforcement Learning
Markov Decision Processes
Compute
Frequent visits
Scheduling
Defining important decisions
Example
Conclusion


Taught by

Alan Turing Institute

Related Courses

Introduction to Artificial Intelligence
Stanford University via Udacity
Natural Language Processing
Columbia University via Coursera
Probabilistic Graphical Models 1: Representation
Stanford University via Coursera
Computer Vision: The Fundamentals
University of California, Berkeley via Coursera
Learning from Data (Introductory Machine Learning course)
California Institute of Technology via Independent