Open access
2026
Learning-Guided Symbolic Solver Selection for Dynamic Multi-UAV Missions in Simulation
A learning-guided neuro-symbolic orchestration framework in which reinforcement learning operates at a meta level to select among heterogeneous symbolic solvers within a closed simulation loop is proposed.
Muhyun Byun, S. Doo, Eunae Lee
· International Conference on... · 0 citations