Luận văn thạc sĩ về tính đúng đắn trong bài toán xung đột tài nguyên cho hệ đa tác tử