Integrating Symbolic RL Planning into a BDI-Based Autonomous UAV Framework: System Integration and SIL Validation

Read full text
Authors: Sangwoo Jeon, Ju-Chul Shin, YeonJe Cho, Gyeong-Tae Kim, Seongwoo Kim
Cited by: 0
References: 9

Fields of Study & Subjects

Robotic Path Planning Algorithms AI-based Problem Solving and Planning Formal Methods in Verification

Publication details

Journal / source
Lecture notes in mechanical engineering
Publisher
Springer Nature Singapore
Pages
327–338
Publication date
26 July 2026
Language
EN