机译:基于时间逻辑的无人机系统计划和执行监视框架
Department of Computer and Information Science, Linkopings Universitet, 581 83 Linkoping, Sweden;
Department of Computer and Information Science, Linkopings Universitet, 581 83 Linkoping, Sweden;
Department of Computer and Information Science, Linkopings Universitet, 581 83 Linkoping, Sweden;
execution monitoring; planning; temporal action logic; reasoning about action and change; intelligent autonomous systems; unmanned aircraft systems;
机译:FADS:使用基于时间逻辑的轨迹规划的自主无人机安全框架
机译:用于评估无人机系统能力的多学科和多保真框架
机译:无人驾驶飞机系统,以影响鸟类群体形成动态和鸟类筑巢的空间和时间因素
机译:基于时间逻辑的计划与执行监控系统
机译:无人机系统飞行计划:系统开发和可行性研究
机译:使用小型无人飞机系统以超高空间和时间分辨率进行有害藻华表征
机译:基于时间逻辑的无人机系统规划和执行监控框架