TY  - RPRT
TI  - Learning from Demonstrations meets Symbolic Control - A Supervisory Control Architecture for Formal Certification of Learned Motion
AU  - Ashok Kumar
AU  - Mahathi Anand
AU  - Angela Schoellig
AU  - Abdalla Swikir
PY  - 2026
UR  - https://arxiv.org/abs/2610.19815
ID  - 2610.19815
ER  -