Recent News
Paper on Task Alignment in Imitation Learning accepted at NeurIPS 2024.
Congratulations to Weichao for single-handedly making this happen!
Paper on Hypothetical Queries accepted at EMNLP 2024.
Congratulations to Weichao who led this work and our wonderful collaborators from Intuit!
Paper on RL-based Adaptive CBF accepted at CDC 2024
Congratulations to Sabbir and all the wonderful collaborators.
Sabbir receives the IEEE CSS TC-SC Outstanding Student Paper Prize 2024
Congratulations to Sabbir and Ehsan who led this work!
Wenchao has been promoted to Associate Professor with Tenure.
Our paper “Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning” has been accepted by ICML 2024. Congratulations to Zijian (netting an ICML paper in his first year) and Weichao!
Wenchao has received an NSF CAREER award to support research on specification-guided imitation learning.
Trust-aware robust CBF work accepted at VehicleSec 2024
Our paper "Secure Control of Connected and Automated Vehicles Using Trust-Aware Robust Event-Triggered Control Barrier Functions" has been accepted at VehicleSec 2024. Congratulations to Sabbir who led this work!
REGLO accepted at AAAI 2024
Congratulations to Feisi, Weichao, Jiameng and our collaborators for having the paper "REGLO: Provable Neural Network Repair for Global Robustness Properties" accepted at AAAI 2024! REGLO is the first technique that enables effective repair of neural networks for global robustness properties.
POLAR-Express accepted at IEEE TCAD
Our paper "POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems" has been accepted for publication at IEEE TCAD. Congratulations to Weichao, Jiameng and our collaborators at Northwestern University, University of New Mexico, and University of Liverpool. Link to Tool: https://github.com/ChaoHuang2018/POLAR_Tool