Transformer Expressivity and Formal Logic
Explore the relationship between transformers and formal logic, uncovering their abilities, limitations, and implications for computational models.
Solving Two-Player Games under Progress Assumptions
Explore solving infinite two-player games with progress assumptions in cyber-physical system design. Analyze complexity classes and efficient algorithms for augmented games.
Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Explore E. Allen Emerson's journey to the Turing Award, from early influences to groundbreaking work in model checking and temporal logic in computer science verification.
Linear Temporal Logic - From Infinite to Finite Horizon
Explore finite-horizon temporal synthesis in Linear Temporal Logic, its algorithmic advantages, and applications in reactive synthesis and infinite-horizon reasoning.
Synthesis of Privacy-Preserving Systems
Explore privacy-preserving system synthesis, addressing hidden signals, budget constraints, and incomplete information while satisfying specifications and protecting secrets.