Automata Theory Courses
Simons Institute via YouTube Automata-Based Approach for Quantum Circuit and Program Verification
Simons Institute via YouTube New Models of Games with Imperfect Information
Simons Institute via YouTube Synthesis of Privacy-Preserving Systems
Simons Institute via YouTube Reactive Synthesis - Open Questions and Challenges
Simons Institute via YouTube Synthesis and Verification of Finite Horizon Tasks
Simons Institute via YouTube Specification-guided Reinforcement Learning
Simons Institute via YouTube Distributed Controller Synthesis for Deadlock Avoidance
Simons Institute via YouTube Synthesizing Distributed Protocols from Global Session Types
Simons Institute via YouTube On Partial-Order and Automata Techniques for Analyzing Communication
Simons Institute via YouTube