software agents; formal methods; temporal logic of actions; dynamic input/output automata;
机译:在时间逻辑规范下部分已知环境中的异构多代理系统中的通信策略
机译:度量间隔时间逻辑规范下的多智能体系统控制综合
机译:时间逻辑规范和控制屏障功能下的多主体系统运动规划
机译:使用时间逻辑的移动代理系统规范
机译:动态系统满足时间逻辑规范的恢复能力
机译:在整个C.秀丽隐形神经系统中的神经元识别规范转录调节逻辑的硅分析中
机译:用于规范和改进移动系统的时空逻辑