16949

Video URL

https://simons.berkeley.edu/talks/automata

Introduction to Automata on Infinite Words

(2021). Introduction to Automata on Infinite Words. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/automata

Introduction to Automata on Infinite Words. The Simons Institute for the Theory of Computing, Jan. 26, 2021, https://simons.berkeley.edu/talks/automata 

          @misc{ scivideos_16949,
            doi = {},
            url = {https://simons.berkeley.edu/talks/automata},
            author = {},
            keywords = {},
            language = {en},
            title = {Introduction to Automata on Infinite Words},
            publisher = {The Simons Institute for the Theory of Computing},
            year = {2021},
            month = {jan},
            note = {16949 see, \url{https://scivideos.org/index.php/Simons-Institute/16949}}
          }
Orna Kupferman (Hebrew University)
Talk number16949
Source RepositorySimons Institute
Subject

Abstract

Automata on infinite words have applications in system specification, verification, and synthesis. We introduce Buchi automata, and survey interesting issues around their closure properties, expressive power, determinization, and decision problems. Below you can find Panopto links to Orna's pre-recorded talks: Part 1: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=88f4fcfc-e531-404e-bdb2-acb100a573b2 Part 2: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=5396c12c-ecff-40c5-8afc-acb100a56ed2 Part 3: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=b37fc8b9-05ef-42bb-99ca-acb100c1fc64 Part 4: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=262825e9-479e-4e7a-9386-acb30076b006   Part 5: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=257dd520-bd68-4dac-95e6-acb30088cce8 Part 6: https://huji.cloud.panopto.eu/Panopto/Pages/Viewer.aspx?id=7ed603a9-ce88-46ff-ae43-acb30095a97b