3 papers
cs.AI2024
Safe and Reliable Training of Learning-Based Aerospace Controllers
Udayan Mandal, Guy Amir, Haoze Wu +10
In recent years, deep reinforcement learning (DRL) approaches have generated highly successful controllers for a myriad of complex domains. However, the opaque nature of these mode…
cs.AI2022
Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming
Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander +2
We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (…
cs.DS2016
Sort Race
Hantao Zhang, Baoluo Meng, Yiwen Liang
Sorting is one of the oldest computing problems and is still very important in the age of big data. Various algorithms and implementation techniques have been proposed. In this stu…