Natural Strategic Ability in Stochastic Multi-Agent Systems
R Berthon, JP Katoen, M Mittelmann… - Proceedings of the AAAI …, 2024 - ojs.aaai.org
Strategies synthesized using formal methods can be complex and often require infinite
memory, which does not correspond to the expected behavior when trying to model Multi …
memory, which does not correspond to the expected behavior when trying to model Multi …
TÜRKİYE'DE SEÇİM GÜVENLİĞİ BAĞLAMINDA SEÇİMLERDE TEKNOLOJİ KULLANIMI
Seçimler, temsili demokrasinin önemli bir unsurunu oluşturmakla beraber demokratik bir
yönetim için seçimlerin varlığı kadar yapılış usulü de önem taşımaktadır. Geleneksel seçim …
yönetim için seçimlerin varlığı kadar yapılış usulü de önem taşımaktadır. Geleneksel seçim …