...
机译:根据本地LTL规范和基于事件的同步进行多主体规划
Temporal logic; Finite state machines; Formal verification; Path planning; Synchronization; Decentralized control; Robot control;
机译:根据本地LTL规范和基于事件的同步进行多主体规划
机译:多主体系统与基于事件的通信的同步
机译:基于LTL规范和Petri网模型的机器人团队的路径规划
机译:从本地LTL规范进行多主体规划的后退方法
机译:与Internet机器人远距机器人的基于事件的多媒体同步。
机译:复杂网络的基于事件的指数同步
机译:本地LTL规范和基于事件的多代理规划 同步