机译:具有非刚性代理集的时间认知逻辑,用于分析区块链协议
机译:线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
机译:在时间逻辑规范下部分已知环境中的异构多代理系统中的通信策略
机译:代表代理通信协议的时间逻辑
机译:多代理协议创建者(MAPC):不断发展的多代理通信协议。
机译:ABS-SmartComAgri:无线传感器网络中基于代理的智能通信协议仿真器用于精密农业中的调试
机译:具有非刚性代理的颞抑制逻辑,用于分析区块链协议
机译:使用时态逻辑指定和验证加密协议(进度报告)。