Security-Aware Planning and Control of Multi-Agent Systems with LTL Tasks
यह शोधपत्र मल्टी-एजेंट सिस्टम के लिए एक 'सिक्योर-बाय-कंस्ट्रक्शन' फ्रेमवर्क प्रस्तावित करता है जो निष्क्रिय घुसपैठियों के विरुद्ध सुरक्षा बाधाओं को सीधे लीनियर टेम्पोरल लॉजिक (LTL) सिंथेसिस में एकीकृत करता है ताकि कार्य की संतुष्टि और कार्य निष्पादन एवं एजेंट की पहचान से संबंधित संवेदनशील जानकारी की सुरक्षा दोनों को औपचारिक रूप से गारंटी दी जा सके।