Showing cs.AIShow all
2 papers · 1 filter
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 (…