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