Logic, Automata & Games
Published on Apr 01, 200917186 Views
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-checkin
