首页> 外文OA文献 >Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans

【2h】

Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans

机译：机器人任务计划的语法型编辑的正式证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Laurent Nana; François Monin; Sophie Gire;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Using LabVIEW and ROS for Planning and Coordination of Robot Missions, the Example of ERL Emergency Robots and University Rover Challenge Competitions [J] . Agnieszka W?gierska, Kacper Andrzejczak, Mateusz Kujawiński, Journal of Automation, Mobile Robotics & Intelligent Systems . 2019,第2期

机译：使用LabVIEW和ROS进行机器人任务的计划和协调，ERL应急机器人和大学漫游车挑战赛的范例
2. Astrobotic Plans Robotic Lunar Mission to Apollo 11 Site [J] . BRIAN BERGER Space news . 2008,第43期

机译：天体计划机器人登月任务到阿波罗11号
3. Contribution to Human Multi-Robot System Interaction Application to a Multi-Robot Mission Editor [J] . Francois Saidi, Gilbert Pradel Journal of Intelligent & Robotic Systems: Theory & Application . 2006,第4期

机译：为多机器人任务编辑器贡献人类多机器人系统交互应用程序
4. LMP Rules Editor: A fresh approach for generic management of Mission Planning Rules Constraints [C] . N. Di Giorgio, W. Heinen, S. Reid, International conference on space operations . 2014

机译：LMP规则编辑器：用于任务计划规则和约束的通用管理的新方法
5. Planning to fail: Incorporating reliability into design and mission planning for mobile robots. [D] . Stancliff, Stephen B. 2009

机译：计划失败：将可靠性纳入移动机器人的设计和任务计划中。
6. Behavior-Based Control for an Aerial Robotic Swarm in Surveillance Missions [O] . Pablo Garcia-Aunon, Jaime del Cerro, Antonio Barrientos 2019

机译：监视任务中基于行为的空中机器人群控制
7. Mission Accomplished: An Introduction to Formal Methods in Mobile Robot Motion Planning and Control [O] . Hai Lin 2014

机译：任务完成：移动机器人运动规划和控制中的正式方法介绍

Formal Proof of Properties of a Syntax-Oriented Editor of Robotic Missions Plans

著录项

引文网络

相似文献

相关主题

期刊订阅