Title:
First-order-Predicate-Ambient-Logic
Download
Description: Based on μ-calculus, the predicate variable is used to construct the fixed point formula, which is convenient to describe the properties of the closed-loop system and the semantics of the formula is concise.
To Search:
File list (Check if you may need any files):
基于偏序规律的_演算一阶谓词界程逻辑模型检测_江华.pdf
