...
机译:从高级时间逻辑规格自动合成机器人群的机器人群
Cornell Univ Sibley Sch Mech &
Aerosp Engn Ithaca NY 14853 USA;
Cornell Univ Sibley Sch Mech &
Aerosp Engn Ithaca NY 14853 USA;
Formal methods; Automated synthesis; Robotic swarm; Temporal logic;
机译:从高级时间逻辑规格自动合成机器人群的机器人群
机译:根据时间逻辑规范进行高级电路综合的自动化技术
机译:具有时间逻辑规范的电力系统储能控制器综合
机译:高级别时间逻辑规范对机器人群的分散控制
机译:时间逻辑规范下的多机器人系统可扩展控制合成
机译:混合周期轨道指数稳定的分散反馈控制器:在机器人行走中的应用
机译:从区间时态逻辑规范合成控制器
机译:作者:张莹莹,王玮,王。,机械设计与制