Project Name:有限资源智能体联盟能力的逻辑规范及模型检测研究

Hits:

Leading Scientist:Chanjuan Liu

Project Participants:biran,Felix,longxiaojun

Supported by:国家自然科学基金项目

Sub-Class of Project:青年科学基金项目

Status:结题

Project Approval Number:61702075

Date of Project Approval:2017-08-17

Scheduled completion time:2020-12-31

Date of Project Initiation:2018-01-01