Logic, Automata & Games

author: Sophie Pinchinat, IRISA
published: April 1, 2009,   recorded: February 2009,   views: 17099


Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.

 Watch videos:   (click on thumbnail to launch)

Watch Part 1
Part 1 59:16
Watch Part 2
Part 2 1:03:09
Watch Part 3
Part 3 1:04:10
Watch Part 4
Part 4 1:11:35
Watch Part 5
Part 5 1:06:03


This course provides the students with fundamental notions of temporal logic, mu-calculus, two-player infinite games, alternating tree automata, and with their relationship to answer the model-checking and satisfiability problems.

See Also:

Download slides icon Download slides: coursAutLogGames.pdf (630.1 KB)

Download slides icon Download slides: ssll09_pinchinat_lag.pdf (729.2 KB)

Help icon Streaming Video Help

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Reviews and comments:

Comment1 Eduardo Grajeda, May 1, 2009 at 7:01 p.m.:

The slides for this talk are at:


Comment2 Umer, September 5, 2009 at 11:48 a.m.:

no voice on 3rd lecture. please fix it

Comment3 Chris, June 13, 2010 at 7:50 a.m.:

sound on lecture two is choppy

lecture 3 has no sound and seems to just... stop about 15 minutes in.

Write your own review or comment:

make sure you have javascript enabled or clear this field: