SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
Published 2023 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
Authors
Keywords
-
Journal
AUTONOMOUS ROBOTS
Volume -, Issue -, Pages -
Publisher
Springer Science and Business Media LLC
Online
2023-11-03
DOI
10.1007/s10514-023-10145-1
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- 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
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
Search