Gerçek Zamanlı ve Sabit Rastgelelikli Sonlu Durumlu Denetmenler ve Münazara Sistemleri
Proje Özeti:
Bu projedeki amacımız denetmenin hesaplama bütçesinin çok kısıtlı olduğu etkileşimli ispat ve münazara sistemlerinin özelliklerinin incelenmesidir.
Birim:
Alan: