July 19, 2021
The organizers reported the results of VNN-COMP’21 on 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS) affiliated with CAV 2021. The benchmarks used in the competition can be found here. The final slides can be found here. The final report will be out soon.
July 18, 2021
June 7, 2021
May 31, 2021
Congratulations Jaskaran and Weiye!
May 19, 2021
April 19, 2021
Chase Noren, 2nd year PhD student in the lab, gets the prestigious Uber PhD Fellowship.
December 7, 2020
November 13, 2020
October 14, 2020
Weiye’s paper Contact-Rich Trajectory Generation in Confined Environments Using Iterative Convex Optimization gets the Best Student Paper Finalist in DSCC 2020.
October 3, 2020
June 23, 2020
Why does symmetry cause deadlocks? (IFAC World Congress)
June 19, 2020
The project “Hierarchical Motion Planning for Efficient and Provably Safe Human-Robot Interactions” received 2019 Amazon Research Reward.
June 19, 2020
March 31, 2020
Tianhao presented the paper Safe control algorithms using energy functions: A unified framework, benchmark, and new directions in the 58th IEEE Conference on Decision and Control. The code is available here.
December 10, 2019
Siyan presented the paper Adaptable Human Intention and Trajectory Prediction for Human-Robot Collaboration in the AAAI Fall Symposium Series - AI for HRI. This work was done by Abulikemu and Siyan during their internships in ICL. More information can be found in the poster and the presentation slides.
November 7, 2019
The book “Designing Robot Behavior in Human-Robot Interactions” is available here.
October 10, 2019
Jaskaran Grover, 2nd year PhD student in the lab, gets the prestigious Uber Presidential Fellowship.
September 1, 2019
August 4, 2019
The Robotiq Blog posted an interview with Changliu (link). In this interview, Changliu talks cobot safety, the importance of having realistic expectations of what cobots can and can’t do and her vision of a manufacturing world after cobots.
July 13, 2019
May 16, 2019
We will present our paper “AGen - Adaptable generative prediction networks for autonomous driving” in IV2019 in June. Preprints will be available soon. This work is supported by Holomatic. We would like to thank our sponsor for their generous support.
May 15, 2019
A group of high school students and teachers from Choate visited the Intelligent Control Lab.
May 10, 2019
Our paper “NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks” has won the Best Applied Paper award at the ICLR 2019 Workshop on Debugging Machine Learning Models. This paper will be presented at the workshop on May 6.
April 28, 2019
FANUC generously donated an industrial robot arm LR Mate 200iD/7L to the Intelligent Control Lab to support our research. We look forward to developing more pratical methodologies and industrial applications with the robot arm.
April 15, 2019
April 2, 2019
This paper surveys emerging algorithms to verify whether a deep neural network satisfies certain input-output properties. We will present the work at AAAI 2019 Spring Symposium Verification of Neural Networks (VNN19) on March 25, and ICLR 2019 Workshop on Debugging Machine Learning Models (DebugML-19) on May 6.
March 17, 2019