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