YoVDO

Symbolic Finite- and Infinite-state Synthesis

Offered By: Simons Institute via YouTube

Tags

Game Theory Courses Linear Temporal Logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 35-minute lecture on symbolic finite- and infinite-state synthesis presented by Nir Piterman from the University of Gothenberg. Delve into the challenges of reactive synthesis in large and infinite domains, and discover a novel iterative abstraction-refinement approach to LTL synthesis. Learn about the concept of liveness refinements for synthesis and how they identify concretely terminating loops in abstract counterstrategies. Examine the proof-of-concept prototype and its performance on standard LIA benchmarks. Gain insights into finite-state benchmarks and how the presented approach uniquely handles domain size independence. Understand the collaborative efforts behind this research, involving Shaun Azzopardi, Luca di Stefano, and Gerardo Schneider.

Syllabus

Symbolic Finite- and Infinite-state Synthesis


Taught by

Simons Institute

Related Courses

Model Checking
Chennai Mathematical Institute via Swayam
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube
Requirement Specifications for Autonomous Systems
University of Colorado Boulder via Coursera
Verification and Synthesis of Autonomous Systems
University of Colorado Boulder via Coursera
Synthesis of Privacy-Preserving Systems
Simons Institute via YouTube