Verifying Maze-Like Game Levels with Model Checker SPIN


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Enformatik Enstitüsü, Türkiye

Tezin Onay Tarihi: 2021

Tezin Dili: İngilizce

Öğrenci: ONUR TEKİK

Asıl Danışman (Eş Danışmanlı Tezler İçin): Aysu Betin Can

Eş Danışman: Elif Sürer