1:32:14Automata, Verification, and Infinite Games, Lecture 17: Complexity of LTL model-checking andSTCS TIFR36 viewsView & Download