...
机译:非确定性概率多智能体系统验证的复杂性
Probabilistic multiagent systems; Markov chains and decision processes; Temporal logics; Verification of dynamic properties;
机译:非确定性概率多智能体系统验证的复杂性
机译:非确定性概率转移系统的分支度量的逻辑表征
机译:具有不确定行为的逻辑控制系统的形式验证
机译:模型检查概率多读系统的概率认识逻辑
机译:网络机器人系统的不确定性建模和验证。
机译:自动化偏见和验证复杂性:系统审查
机译:针对欧米伽规则线性时间属性验证不确定性信道系统。
机译:概率论与非确定性系统的模型检验。