SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
出版年份 2023 全文链接
标题
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
作者
关键词
-
出版物
AUTONOMOUS ROBOTS
Volume -, Issue -, Pages -
出版商
Springer Science and Business Media LLC
发表日期
2023-11-03
DOI
10.1007/s10514-023-10145-1
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- A survey of Behavior Trees in robotics and AI
- (2022) Matteo Iovino et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Formalizing and guaranteeing human-robot interaction
- (2021) Hadas Kress-Gazit et al. COMMUNICATIONS OF THE ACM
- Exploring Non-Expert Robot Programming Through Crowdsourcing
- (2021) Sanne van Waveren et al. Frontiers in Robotics and AI
- Convergence Analysis of Hybrid Control Systems in the Form of Backward Chained Behavior Trees
- (2020) Petter Ogren IEEE Robotics and Automation Letters
- Trends and challenges in robot manipulation
- (2019) Aude Billard et al. SCIENCE
- Specification Patterns for Robotic Missions
- (2019) Claudio Menghi et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- Analysis and Observations From the First Amazon Picking Challenge
- (2018) Nikolaus Correll et al. IEEE Transactions on Automation Science and Engineering
- Single and Multiple View Support Order Prediction in Clutter for Manipulation
- (2016) Swagatika Panda et al. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
- Motion planning with temporal-logic specifications: Progress and challenges
- (2015) Erion Plaku et al. AI COMMUNICATIONS
- Support relation analysis and decision making for safe robotic manipulation tasks
- (2015) Rasoul Mojtahedzadeh et al. ROBOTICS AND AUTONOMOUS SYSTEMS
- Motion planning with sequential convex optimization and convex collision checking
- (2014) John Schulman et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- CHOMP: Covariant Hamiltonian optimization for motion planning
- (2013) Matt Zucker et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- A review of machine learning for automated planning
- (2012) Sergio Jiménez et al. KNOWLEDGE ENGINEERING REVIEW
- Learning spatial relationships between objects
- (2011) Benjamin Rosman et al. INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH
- Temporal-Logic-Based Reactive Mission and Motion Planning
- (2009) H. Kress-Gazit et al. IEEE Transactions on Robotics
- Translating Structured English to Robot Controllers
- (2008) Hadas Kress-Gazit et al. ADVANCED ROBOTICS
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started