Material Detail
Logic, Automata & Games
This video was recorded at Summer Schools in Logic and Learning, Canberra 2009. 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.
Quality
- User Rating
- Comments
- Learning Exercises
- Bookmark Collections
- Course ePortfolios
- Accessibility Info
More about this material
- Mobile Compatibility:
- Not specified at this time
- Language:
- English
- Cost Involved:
- No
- Source Code Available:
- No
- Creative Commons:
-
This work is licensed under a Attribution-NonCommercial-NoDerivs 3.0 United States
