Funder
National Natural Science Foundation of China
Sichuan Science and Technology Program of China
National Science Foundation of Sichuan Province of China
Joint Research Project of Laurent Mathematics Center of Sichuan Normal University and National-Local Joint Engineering Laboratory of System Credibility Automatic Verification
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Theoretical Computer Science,Software,Information Systems,Control and Systems Engineering