Logic, Automata & Games
Slides
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.
Watch videos: (click on thumbnail to launch)
Description
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: coursAutLogGames.pdf (630.1 KB)
Download slides: ssll09_pinchinat_lag.pdf (729.2 KB)
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:
The slides for this talk are at:
www.irisa.fr/prive/Sophie.Pinchinat/V...
no voice on 3rd lecture. please fix it
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: