AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Fly-By-Logic: A Tool For Unmanned Aircraft System Fleet Planning Using Temporal Logic

NASA FORMAL METHODS (NFM 2019), (2019): 355-362

Cited: 0|Views7

Get fulltext within 24h

View via Publisher

Other Links

dblp.uni-trier.de

Bibtex

Keywords

UAS mission planning Signal Temporal Logic Correct-by-construction planning Multi-rotor UAS

Abstract

Safe planning for fleets of Unmaned Aircraft Systems (UAS) performing complex missions in urban environments has typically been a challenging problem. In the United States of America, the National Aeronautics and Space Administration (NASA) and the Federal Aviation Administration (FAA) have been studying the regulation of the airspace whe...More

Code:

Data:

Full Text (Upload PDF)

PPT (Upload PPT)

Author

Yash Vardhan Pant

Rhudii A. Quaye

Houssam Abbas

[0]

Akarsh Varre

Rahul Mangharam

[0]

Your rating :

No Ratings