Time-Sensitive Task Execution for UAVs with Obstacles Based on Temporal Logic and Control Barrier Functions

Lecture notes in electrical engineering 2026

View at publisher

Authors: Hao Tian Jiang, Dan Huang, Qiang Wei, Bochen Li, Chenggang Wang, Liwei Song, Xiaohu Yuan, Huaping Liu

DOI: 10.1007/978-981-95-4053-2_32

Cited by: 0

References: 24

Fields of Study & Subjects

Robotic Path Planning Algorithms Formal Methods in Verification Constraint Satisfaction and Optimization

References 24