Tato diplomová práce se zabývá metodami procházení sítě časovaných automatů. Úkolem je obohatit stávající metody o prvky strojového učení. Cílem této diplomové práce je implementovat takovou metodu, která bude procházet ...