বিতরণকৃত মাল্টি-এজেন্ট পরিকল্পনা
বিতরণকৃত টেম্পোরাল লজিক
টেম্পোরাল লজিকের (যেমন LTL) একটি সম্প্রসারণ যা মাল্টি-এজেন্ট সিস্টেমের সামগ্রিক আচরণের বৈশিষ্ট্য নির্দিষ্ট ও যাচাই করার জন্য ব্যবহৃত হয়, যেখানে লজিক্যাল অপারেটরগুলো বিতরণকৃত এক্সিকিউশন ট্রেসের উপর মূল্যায়ন করা হয়।
← ফিরে যান