摘要：形式化方法通过时序逻辑（如LTL和CTL）为复杂系统时序性描述提供了新途径，但其布尔值语义无法量化相关性能属性（如能耗、 时间）且难以刻画多智能体协同;时序逻辑的扩展（如PCTL和CTML）虽引入概率与实值评估（试读）...
登录
