التحقق من الأنظمة متعددة الوكلاء

المحاكاة الرسمية

تنفيذ محكوم ومحدد رياضيًا لنموذج نظام وكلاء متعددين لمراقبة سلوكه والتحقق منه. يختلف عن المحاكاة التجريبية بطبيعته الحتمية والقابلة للتكرار.

← رجوع