| Document Date: 2010-04-23 02:11:21
Open Document File Size: 157,25 KBShare Result on Facebook
Company NBA AB / / / IndustryTerm polynomial-time algorithm / exponential-time algorithm / / Organization National Basketball Association / / Person Thomas Wilke / Erich Gr / Parity Games / Wolfgang Thomas / / Position σA player / same player / player / player 2 strategy / otherwise player / Single-Player / / PublishedMedium Lecture Notes in Computer Science / / SportsEvent NBA / / Technology 4 THOMAS NOWAK Algorithm / 1 PTIME algorithm / Classical EXPTIME Algorithm / 2 Classical Parity Algorithm / polynomial-time algorithm / exponential-time algorithm / / |
GAME THEORY IN FORMAL VERIFICATION SCRIBE NOTES FOR LECTURE 5 THOMAS NOWAK 1. Parity Objectives 1.1. Definition. Consider a graph (S, E). Let d be a non-negative integer and