Runtime Verification; Symbolic Robot Motion Planning; Trust-based decision making; Human-in-the-Loop;
机译:基于信任的基于信任的多机器人符号运动规划
机译:确保运行时监测和规划:验证安全自治操作的神经网络
机译:确保运行时监测和规划:验证安全自治操作的神经网络
机译:基于信任的多环转子运动计划运行时验证
机译:LOOP的任务规划和机器人群的监测
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:基于信任的多机器人符号运动规划,具有循环的人