We are excited to announce that our papers Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition will be presented at the 8th Workshop on Generalization in Planning (GenPlan) at AAAI 2025, and our paper Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints will be presented at the 28th ACM International Conference on Hybrid Systems: Computation…Continue Reading Automata Lab at AAAI and HSCC 2025