| 2026 | AAAI | Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks. | Ruixiao Yang, Chuchu Fan |
| 2025 | AAAI | Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling. | Feiyang Cai, Chuchu Fan, Stanley Bak |
| 2025 | ICLR | Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure? | Charles Dawson, Van Tran, Max Z. Li, Chuchu Fan |
| 2025 | ICLR | Steering Large Language Models between Code Execution and Textual Reasoning. | Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma, Chuchu Fan, Chi Wang |
| 2025 | ICLR | Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming. | Yilun Hao, Yang Zhang, Chuchu Fan |
| 2025 | ICLR | Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control. | Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan |
| 2025 | ICML | CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance. | Yongchao Chen, Yilun Hao, Yueying Liu, Yang Zhang, Chuchu Fan |
| 2025 | ICML | TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching. | Yue Meng, Chuchu Fan |
| 2025 | ICRA | Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders. | Yue Meng, Nathalie Majcherczyk, Wenliang Liu, Scott Kiesel, Chuchu Fan, Federico Pecora |
| 2025 | IROS | Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation. | Yongchao Chen, Yilun Hao, Yang Zhang, Chuchu Fan |
| 2025 | NAACL | Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools. | Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan |
| 2024 | EMNLP | PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling. | Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan |
| 2024 | ICRA | AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. | Yongchao Chen, Jacob Arkin, Charles Dawson, Yang Zhang, Nicholas Roy, Chuchu Fan |
| 2024 | ICRA | Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? | Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan |
| 2024 | ICRA | ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations. | Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor |
| 2024 | ICRA | How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. | Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan |
| 2024 | ICRA | Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. | Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan |
| 2023 | CoRL | A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. | Charles Dawson, Chuchu Fan |
| 2023 | CoRL | Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. | Songyuan Zhang, Kunal Garg, Chuchu Fan |
| 2023 | EMNLP | NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. | Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan |
| 2023 | ICRA | Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. | Laura Ltzow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan |
| 2023 | ICRA | Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. | Mukun Tong, Charles Dawson, Chuchu Fan |
| 2022 | ACL | A Meta-framework for Spatiotemporal Quantity Extraction from Text. | Qiang Ning, Ben Zhou, Hao Wu, Haoruo Peng, Chuchu Fan, Matt Gardner |
| 2022 | IROS | Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. | Charles Dawson, Chuchu Fan |
| 2021 | AAAI | Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. | Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams |
| 2021 | CoRL | Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. | Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan |
| 2021 | CoRL | Learning Density Distribution of Reachable States for Autonomous Systems. | Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan |
| 2021 | ICLR | Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. | Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan |
| 2021 | ICML | Density Constrained Reinforcement Learning. | Zengyi Qin, Yuxiao Chen, Chuchu Fan |
| 2021 | IROS | Reactive and Safe Road User Simulations using Neural Barrier Certificates. | Yue Meng, Zengyi Qin, Chuchu Fan |
| 2020 | CAV | Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. | Chuchu Fan, Kristina Miller, Sayan Mitra |
| 2020 | CoRL | Reactive motion planning with probabilisticsafety guarantees. | Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray |
| 2020 | CoRL | Learning Certified Control Using Contraction Metric. | Dawei Sun, Susmit Jha, Chuchu Fan |
| 2020 | TACAS | Multi-agent Safety Verification Using Symmetry Transformations. | Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra |
| 2019 | NAACL | Partial Or Complete, That's The Question. | Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth |
| 2018 | CAV | Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. | Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan |
| 2018 | FM | Approximate Partial Order Reduction. | Chuchu Fan, Zhenqi Huang, Sayan Mitra |
| 2017 | CAV | DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan |
| 2016 | CAV | Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala |
| 2016 | EMSOFT | Locally optimal reach set over-approximation for nonlinear systems. | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
| 2015 | ATVA | Bounded Verification with On-the-Fly Discrepancy Computation. | Chuchu Fan, Sayan Mitra |
| 2015 | CAV | Meeting a Powertrain Verification Challenge. | Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
| 2014 | CAV | Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. | Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska |