Fast, Composable Rescue Mission Planning for UAVs using Metric Temporal Logic

JOURNAL ARTICLE

Year: 2020 Journal: IFAC-PapersOnLine Vol: 53 (2)Pages: 15404-15411 Publisher: Elsevier BV

DOI: 10.1016/j.ifacol.2020.12.2361

Keywords:

Metrics

Cited By

1.18

FWCI (Field Weighted Citation Impact)

Refs

0.82

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Robotic Path Planning Algorithms

Physical Sciences → Computer Science → Computer Vision and Pattern Recognition

AI-based Problem Solving and Planning

Physical Sciences → Computer Science → Artificial Intelligence