Verifikácia stratégií riadenia vybraného PVS simulačnými metódami : Diplomová práca - Pelikán, Tibor (STU v Bratislave MtF KAIA, 2001)