تخطيط متعدد الوكلاء الموزع

المنطق الزمني الموزع

امتداد للمنطق الزمني (مثل LTL) لتحديد والتحقق من الخصائص المتعلقة بالسلوك العام لنظام متعدد العوامل، حيث يتم تقييم العوامل المنطقية على آثار التنفيذ الموزعة.

← رجوع