LARA Lecture 10 First Part: Eva Darulova Slides Proof of Sturm's theorem References Combined Decision Techniques for the Existential Theory of the Reals Second Part: Hossein Hojjat Slides References Languages, Automata, and Logic Bounded Model Construction for Monadic Second-Order Logics
