Category: Uncategorized

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

We are excited to announce that our work “Verification of Autonomous Systems: the Road Ahead” has been accepted to ICRA@40, September 23-26, 2024 in Rotterdam, The Netherlands! This work was produced by members of the IEEE RAS TC for Verification of Autonomous Systems….Continue Reading Automata Lab at ICRA@40

We are excited to announce that our paper “Run-Time Task Composition with Safety Semantics” has been accepted to the Forty-first International Conference on Machine Learning (ICML) @ Messe Wien Exhibition Congress Center, Vienna, Austria. This work is a collaboration with researchers at MIT Lincoln Laboratory. A pre-print is available on arXiv….Continue Reading Automata Lab at ICML 2024

We are excited to announce that our paper “Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots” has been accepted to the End-User Development for Human-Robot Interaction workshop at the 2024 ACM/IEEE International Conference on Human-Robot Interaction. This work is a collaboration with researchers…Continue Reading Automata Lab at HRI 2024

We are excited to announce that our paper Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control has been accepted to the 2024 American Control Conference. This work is a collaboration with researchers at Boston University and MIT Lincoln Laboratory. See you in Toronto!…Continue Reading Automata Lab at ACC 2024

Automata Lab is proud to be participating in IROS 2023! See our paper STL: Surprisingly Tricky Logic (for System Validation) on Wednesday’s session on Formal Methods and Planning. We are also co-organizing the workshop “It Works Really Well!”: Verification in Theory and in Practice all day on Thursday, October 5th….Continue Reading Automata Lab at IROS 2023