Sa~zetak:
Bit ~te dan uvod u op~teniti framework beskona~cnih igara za dva
igra~ca na usmjerenim grafovima sa specijalizacijom na igre
koje su interesantne u model-checkingu fixed-point logik~a.
Pobjedni~cki uvjeti obradit ~te se u terminima prihva~taju~tih
uvjeta omega-automat~a (Mullerov, Rabinov, Streetov, Buchijev,
uvjet parnosti). Razmotrit ~te se osnovna svojstva tih tipova
beskona~cnih igara, kao i fundamentalni rezultati o
determiniranosti i egzistenciji pozicionalnih strategij~a,
odnosno strategij~a s kona~cnom memorijom.