JOURNAL ARTICLE
Integrated task and motion planning for quadrotors under metric interval temporal logic specifications
Abstract
10.7641/CTA.2019.90602
Keywords:
Task (project management) Interval (graph theory) Metric (unit) Temporal logic Motion (physics) Control theory (sociology) Interval temporal logic Motion planning
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.37
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
AI-based Problem Solving and Planning
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications
Fernando S. BarbosaLars LindemannDimos V. DimarogonasJana Tůmová
Year: 2019 Pages: 2042-2049
JOURNAL ARTICLE
Reactive Task and Motion Planning under Temporal Logic Specifications
Shen LiDaehyung ParkYoonchang SungJulie ShahNicholas Roy
Year: 2021 Pages: 12618-12624
JOURNAL ARTICLE
Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications
Journal: IEEE Robotics and Automation Letters Year: 2017 Vol: 3 (1)Pages: 379-386
JOURNAL ARTICLE
Task Planning and Motion Control with Temporal Logic Specifications
Marcos S. PereiraLuciano C. A. PimentaBruno Vilhena Adorno
Year: 2023 Pages: 2034-2041
JOURNAL ARTICLE
Optimization-Based Task and Motion Planning Under Signal Temporal Logic Specifications Using Logic Network Flow
Xuan LinJiming RenSamuel CooganYe Zhao
Year: 2025 Pages: 12565-12571