Chuchu Fan - RankMe

188 papers A* 24A 3B 2C 1Misc 7Journal 118Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bellman Value Decomposition for Task Logic in Safe Optimal Control. CoRR Will Sharpless, Oswin So, Dylan Hirsch, Sylvia L. Herbert, Chuchu Fan
2026	J	`jnl`	Curiosity is Knowledge: Self-Consistent Learning and No-Regret Optimization with Active Inference. CoRR Yingke Li, Anjali Parashar, Enlu Zhou, Chuchu Fan
2026	J	`jnl`	Discrete Adjoint Matching. CoRR Oswin So, Brian Karrer, Chuchu Fan, Ricky T. Q. Chen, Guan-Horng Liu
2026	J	`jnl`	Heuristic Search as Language-Guided Program Optimization. CoRR Mingxin Yu, Ruixiao Yang, Chuchu Fan
2026	J	`jnl`	Maximizing Reach-Avoid Probabilities for Linear Stochastic Systems via Control Architectures. CoRR Niklas Schmid, Jaeyoun Choi, Oswin So, Chuchu Fan
2026	A*	`conf`	Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks. AAAI Ruixiao Yang, Chuchu Fan
2026	J	`jnl`	Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters. CoRR Matti Vahs, Jaeyoun Choi, Niklas Schmid, Jana Tumova, Chuchu Fan
2026	J	`jnl`	Parameter-Robust MPPI for Safe Online Learning of Unknown Parameters. IEEE Robotics Autom. Lett. Matti Vahs, Jaeyoun Choi, Niklas Schmid, Jana Tumova, Chuchu Fan
2026	J	`jnl`	Pragmatic Curiosity: A Hybrid Learning-Optimization Paradigm via Active Inference. CoRR Yingke Li, Anjali Parashar, Enlu Zhou, Chuchu Fan
2026	J	`jnl`	ReFORM: Reflected Flows for On-support Offline RL via Noise Manipulation. CoRR Songyuan Zhang, Oswin So, H. M. Sabbir Ahmad, Eric Yang Yu, Matthew Cleaveland, Mitchell Black, Chuchu Fan
2026	J	`jnl`	SEED-SET: Scalable Evolving Experimental Design for System-level Ethical Testing. CoRR Anjali Parashar, Yingke Li, Eric Yang Yu, Fei Chen, James Neidhoefer, Devesh Upadhyay, Chuchu Fan
2026	J	`jnl`	Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning. CoRR Oswin So, Eric Yang Yu, Songyuan Zhang, Matthew Cleaveland, Mitchell Black, Chuchu Fan
2025	J	`jnl`	AuDeRe: Automated Strategy Decision and Realization in Robot Planning and Control via LLMs. CoRR Yue Meng, Fei Chen, Yongchao Chen, Chuchu Fan
2025	J	`jnl`	Co-Optimizing Distributed Energy Resources under Demand Charges and Bi-Directional Power Flow. CoRR Ruixiao Yang, Gulai Shen, Ahmed S. Alahmed, Chuchu Fan
2025	A	`conf`	Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation. IROS Yongchao Chen, Yilun Hao, Yang Zhang, Chuchu Fan
2025	J	`jnl`	Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation. CoRR Yongchao Chen, Yilun Hao, Yang Zhang, Chuchu Fan
2025	A*	`conf`	CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance. ICML Yongchao Chen, Yilun Hao, Yueying Liu, Yang Zhang, Chuchu Fan
2025	J	`jnl`	CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance. CoRR Yongchao Chen, Yilun Hao, Yueying Liu, Yang Zhang, Chuchu Fan
2025	J	`jnl`	Collision- and Reachability-Aware Multi-Robot Control with Grounded LLM Planners. CoRR Jiabao Ji, Yongchao Chen, Yang Zhang, Ramana Rao Kompella, Chuchu Fan, Gaowen Liu, Shiyu Chang
2025	A*	`conf`	Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control. ICLR Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan
2025	J	`jnl`	Discrete GCBF Proximal Policy Optimization for Multi-agent Safe Optimal Control. CoRR Songyuan Zhang, Oswin So, Mitchell Black, Chuchu Fan
2025	J	`jnl`	Diverse Controllable Diffusion Policy with Signal Temporal Logic. CoRR Yue Meng, Chuchu Fan
2025	J	`jnl`	GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multiagent Control. IEEE Trans. Robotics Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan
2025	J	`jnl`	Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems. CoRR H. M. Sabbir Ahmad, Ehsan Sabouni, Alexander Wasilkoff, Param Budhraja, Zijian Guo, Songyuan Zhang, Chuchu Fan, Christos G. Cassandras, Wenchao Li
2025	J	`jnl`	Joint Scheduling of DER under Demand Charges: Structure and Approximation. CoRR Ruixiao Yang, Gulai Shen, Ahmed S. Alahmed, Chuchu Fan
2025	J	`jnl`	Language-Grounded Hierarchical Planning and Execution with Multi-Robot 3D Scene Graphs. CoRR Jared Strader, Aaron Ray, Jacob Arkin, Mason B. Peterson, Yun Chang, Nathan Hughes, Christopher Bradley, Yi Xuan Jia, Carlos Nieto-Granda, Rajat Talak, Chuchu Fan, Luca Carlone, Jonathan P. How, Nicholas Roy
2025	—	`conf`	Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools. NAACL (Long Papers) Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan
2025	J	`jnl`	Learning Plasma Dynamics and Robust Rampdown Trajectories with Predict-First Experiments at TCV. CoRR Allen M. Wang, Alessandro Pau, Cristina Rea, Oswin So, Charles Dawson, Olivier Sauter, Mark D. Boyer, Anna Vu, Cristian Galperti, Chuchu Fan, Antoine Merle, Yoeri Poels, Cristina Venturini, Stefano Marchioni, TCV Team
2025	A*	`conf`	Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming. ICLR Yilun Hao, Yang Zhang, Chuchu Fan
2025	J	`jnl`	R1-Code-Interpreter: Training LLMs to Reason with Code via Supervised and Reinforcement Learning. CoRR Yongchao Chen, Yueying Liu, Junwei Zhou, Yilun Hao, Jingquan Wang, Yang Zhang, Chuchu Fan
2025	J	`jnl`	RADIUM: Predicting and Repairing End-to-End Robot Failures Using Gradient-Accelerated Sampling. IEEE Trans. Robotics Charles Dawson, Anjali Parashar, Chuchu Fan
2025	A*	`conf`	Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure? ICLR Charles Dawson, Van Tran, Max Z. Li, Chuchu Fan
2025	J	`jnl`	Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure? CoRR Charles Dawson, Van Tran, Max Z. Li, Chuchu Fan
2025	A*	`conf`	Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders. ICRA Yue Meng, Nathalie Majcherczyk, Wenliang Liu, Scott Kiesel, Chuchu Fan, Federico Pecora
2025	J	`jnl`	Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders. CoRR Yue Meng, Nathalie Majcherczyk, Wenliang Liu, Scott Kiesel, Chuchu Fan, Federico Pecora
2025	J	`jnl`	Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions. CoRR Ji Yin, Oswin So, Eric Yang Yu, Chuchu Fan, Panagiotis Tsiotras
2025	J	`jnl`	Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime. IEEE Robotics Autom. Lett. Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2025	A*	`conf`	Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling. AAAI Feiyang Cai, Chuchu Fan, Stanley Bak
2025	J	`jnl`	Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning. CoRR Yilun Hao, Yongchao Chen, Chuchu Fan, Yang Zhang
2025	J	`jnl`	Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL. CoRR Songyuan Zhang, Oswin So, Mitchell Black, Zachary Serlin, Chuchu Fan
2025	A*	`conf`	Steering Large Language Models between Code Execution and Textual Reasoning. ICLR Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma, Chuchu Fan, Chi Wang
2025	J	`jnl`	Structured Interfaces for Automated Reasoning with 3D Scene Graphs. CoRR Aaron Ray, Jacob Arkin, Harel Biggie, Chuchu Fan, Luca Carlone, Nicholas Roy
2025	J	`jnl`	TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks. CoRR Yue Meng, Fei Chen, Chuchu Fan
2025	J	`jnl`	TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture. CoRR Yongchao Chen, Jiefeng Chen, Rui Meng, Ji Yin, Na Li, Chuchu Fan, Chi Wang, Tomas Pfister, Jinsung Yoon
2025	A*	`conf`	TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching. ICML Yue Meng, Chuchu Fan
2025	J	`jnl`	TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching. CoRR Yue Meng, Chuchu Fan
2024	J	`jnl`	A Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem. IEEE Robotics Autom. Lett. Ruixiao Yang, Chuchu Fan
2024	J	`jnl`	Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning. CoRR Allen M. Wang, Oswin So, Charles Dawson, Darren T. Garnier, Cristina Rea, Chuchu Fan
2024	A*	`conf`	AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. ICRA Yongchao Chen, Jacob Arkin, Charles Dawson, Yang Zhang, Nicholas Roy, Chuchu Fan
2024	A*	`conf`	ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations. ICRA Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor
2024	—	`conf`	Deadlock Resolution of Connected Multi-Agent Systems using Hierarchical Control. CDC Kunal Garg, Sera Hamilton, Chuchu Fan
2024	J	`jnl`	Diverse Controllable Diffusion Policy With Signal Temporal Logic. IEEE Robotics Autom. Lett. Yue Meng, Chuchu Fan
2024	A*	`conf`	Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
2024	J	`jnl`	Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
2024	J	`jnl`	Failure Prediction from Limited Hardware Demonstrations. CoRR Anjali Parashar, Kunal Garg, Joseph Zhang, Chuchu Fan
2024	—	`book`	Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications. Chuchu Fan
2024	J	`jnl`	GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control. CoRR Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan
2024	A*	`conf`	How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools. CoRR Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan
2024	J	`jnl`	Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems. CoRR Kunal Garg, Jacob Arkin, Songyuan Zhang, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	Learning safe control for multi-robot systems: Methods, verification, and open challenges. Annu. Rev. Control. Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan
2024	—	`conf`	Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration. L4DC Songyuan Zhang, Chuchu Fan
2024	J	`jnl`	Learning-Based Bayesian Inference for Testing of Autonomous Systems. IEEE Robotics Autom. Lett. Anjali Parashar, Ji Yin, Charles Dawson, Panagiotis Tsiotras, Chuchu Fan
2024	J	`jnl`	Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem over Road Networks. CoRR Ruixiao Yang, Chuchu Fan
2024	A*	`conf`	PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling. EMNLP Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Preference Alignment. CoRR Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids. IEEE Trans. Smart Grid Lizhi Wang, Songyuan Zhang, Yifan Zhou, Chuchu Fan, Peng Zhang, Yacov A. Shamash
2024	J	`jnl`	Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming. CoRR Yilun Hao, Yang Zhang, Chuchu Fan
2024	J	`jnl`	RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling. CoRR Charles Dawson, Anjali Parashar, Chuchu Fan
2024	J	`jnl`	RPCBF: Constructing Safety Filters Robust to Model Error and Disturbances via Policy Control Barrier Functions. CoRR Luzia Knödler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
2024	J	`jnl`	Rigid Body Path Planning Using Mixed-Integer Linear Programming. IEEE Robotics Autom. Lett. Mingxin Yu, Chuchu Fan
2024	J	`jnl`	Rigid Body Path Planning using Mixed-Integer Linear Programming. CoRR Mingxin Yu, Chuchu Fan
2024	A*	`conf`	Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? ICRA Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
2024	J	`jnl`	Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR Feiyang Cai, Chuchu Fan, Stanley Bak
2024	A*	`conf`	Solving Minimum-Cost Reach Avoid using Reinforcement Learning. NeurIPS Oswin So, Cheng Ge, Chuchu Fan
2024	J	`jnl`	Solving Minimum-Cost Reach Avoid using Reinforcement Learning. CoRR Oswin So, Cheng Ge, Chuchu Fan
2024	J	`jnl`	Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. ACM Trans. Cyber Phys. Syst. Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
2024	J	`jnl`	Steering Large Language Models between Code Execution and Textual Reasoning. CoRR Yongchao Chen, Harsh Jhamtani, Srinagesh Sharma, Chuchu Fan, Chi Wang
2023	Misc	`conf`	A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRL Charles Dawson, Chuchu Fan
2023	J	`jnl`	A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR Charles Dawson, Chuchu Fan
2023	J	`jnl`	Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR Charles Dawson, Chuchu Fan
2023	J	`jnl`	Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold. CoRR Oswin So, Andrew Clark, Chuchu Fan
2023	J	`jnl`	AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. CoRR Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
2023	—	`conf`	Compositional Neural Certificates for Networked Dynamical Systems. L4DC Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan
2023	J	`jnl`	Compositional Neural Certificates for Networked Dynamical Systems. CoRR Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan
2023	J	`jnl`	ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor
2023	A*	`conf`	Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. ICRA Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan
2023	A*	`conf`	Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. ICRA Mukun Tong, Charles Dawson, Chuchu Fan
2023	J	`jnl`	How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
2023	—	`conf`	Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC Yue Meng, Chuchu Fan
2023	J	`jnl`	Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR Yue Meng, Chuchu Fan
2023	J	`jnl`	Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges. CoRR Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan
2023	J	`jnl`	Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR Songyuan Zhang, Chuchu Fan
2023	J	`jnl`	Model-Free Neural Fault Detection and Isolation for Safe Control. IEEE Control. Syst. Lett. Kunal Garg, Charles Dawson, Kathleen Xu, Melkior Ornik, Chuchu Fan
2023	A*	`conf`	NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan
2023	J	`jnl`	NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan
2023	Misc	`conf`	Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRL Songyuan Zhang, Kunal Garg, Chuchu Fan
2023	J	`jnl`	Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRR Songyuan Zhang, Kunal Garg, Chuchu Fan
2023	—	`conf`	Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton Kunal Garg, Chuchu Fan
2023	J	`jnl`	Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR Kunal Garg, Chuchu Fan
2023	J	`jnl`	Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics Charles Dawson, Sicun Gao, Chuchu Fan
2023	J	`jnl`	Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? CoRR Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
2023	J	`jnl`	Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. CoRR Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras
2023	J	`jnl`	Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions. IEEE Robotics Autom. Lett. Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras
2023	J	`jnl`	Signal Temporal Logic Neural Predictive Control. CoRR Yue Meng, Chuchu Fan
2023	J	`jnl`	Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. Yue Meng, Chuchu Fan
2023	J	`jnl`	Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR Oswin So, Chuchu Fan
2023	—	`conf`	Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems Oswin So, Chuchu Fan
2022	—	`conf`	A Meta-framework for Spatiotemporal Quantity Extraction from Text. ACL (1) Qiang Ning, Ben Zhou, Hao Wu, Haoruo Peng, Chuchu Fan, Matt Gardner
2022	J	`jnl`	Barrier functions enable safety-conscious force-feedback control. CoRR Charles Dawson, Austin Garrett, Falk Pollok, Yang Zhang, Chuchu Fan
2022	—	`conf`	Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. NFM Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
2022	J	`jnl`	Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. CoRR Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
2022	—	`conf`	Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems Charles Dawson, Chuchu Fan
2022	J	`jnl`	Certifiable Robot Design Optimization using Differentiable Programming. CoRR Charles Dawson, Chuchu Fan
2022	J	`jnl`	Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
2022	J	`jnl`	Cooperative Task and Motion Planning for Multi-Arm Assembly Systems. CoRR Jingkai Chen, Jiaoyang Li, Yijiang Huang, Caelan Reed Garrett, Dawei Sun, Chuchu Fan, Andreas G. Hofmann, Caitlin Mueller, Sven Koenig, Brian C. Williams
2022	J	`jnl`	Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. CoRR Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan
2022	J	`jnl`	Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. CoRR Mukun Tong, Charles Dawson, Chuchu Fan
2022	J	`jnl`	Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. IEEE Robotics Autom. Lett. Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan
2022	J	`jnl`	Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. CoRR Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan
2022	A*	`conf`	Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
2022	J	`jnl`	Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
2022	J	`jnl`	Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
2022	J	`jnl`	Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
2022	—	`conf`	Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC Changyuan Zhao, Chuchu Fan, Bai Xue
2022	A	`conf`	Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IROS Charles Dawson, Chuchu Fan
2022	J	`jnl`	Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. CoRR Charles Dawson, Chuchu Fan
2022	J	`jnl`	SABLAS: Learning Safe Control for Black-box Dynamical Systems. CoRR Zengyi Qin, Dawei Sun, Chuchu Fan
2022	J	`jnl`	Sablas: Learning Safe Control for Black-Box Dynamical Systems. IEEE Robotics Autom. Lett. Zengyi Qin, Dawei Sun, Chuchu Fan
2022	J	`jnl`	Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR Charles Dawson, Sicun Gao, Chuchu Fan
2022	—	`ed.`	Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers VSTTE Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
2022	—	`conf`	Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. ICCPS Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
2021	—	`conf`	A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CDC Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan
2021	J	`jnl`	A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CoRR Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan
2021	A*	`conf`	Density Constrained Reinforcement Learning. ICML Zengyi Qin, Yuxiao Chen, Chuchu Fan
2021	J	`jnl`	Density Constrained Reinforcement Learning. CoRR Zengyi Qin, Yuxiao Chen, Chuchu Fan
2021	Misc	`conf`	Learning Density Distribution of Reachable States for Autonomous Systems. CoRL Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
2021	J	`jnl`	Learning Density Distribution of Reachable States for Autonomous Systems. CoRR Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
2021	J	`jnl`	Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. CoRR Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan
2021	A*	`conf`	Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. ICLR Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan
2021	J	`jnl`	Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems. CoRR Jingkai Chen, Brian Charles Williams, Chuchu Fan
2021	—	`conf`	Optimal mixed discrete-continuous planning for linear hybrid systems. HSCC Jingkai Chen, Brian C. Williams, Chuchu Fan
2021	—	`conf`	Planning in Dynamic and Partially Unknown Environments. ADHS Kristina Miller, Chuchu Fan, Sayan Mitra
2021	A	`conf`	Reactive and Safe Road User Simulations using Neural Barrier Certificates. IROS Yue Meng, Zengyi Qin, Chuchu Fan
2021	J	`jnl`	Reactive and Safe Road User Simulations using Neural Barrier Certificates. CoRR Yue Meng, Zengyi Qin, Chuchu Fan
2021	Misc	`conf`	Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
2021	J	`jnl`	Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
2021	A*	`conf`	Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. AAAI Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams
2021	—	`conf`	Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. L4DC Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan
2021	J	`jnl`	Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. CoRR Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan
2020	—	`conf`	Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) Chuchu Fan, Kristina Miller, Sayan Mitra
2020	Misc	`conf`	Learning Certified Control Using Contraction Metric. CoRL Dawei Sun, Susmit Jha, Chuchu Fan
2020	J	`jnl`	Learning Certified Control using Contraction Metric. CoRR Dawei Sun, Susmit Jha, Chuchu Fan
2020	—	`conf`	Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2020	J	`jnl`	Parameter Searching and Partition with Probabilistic Coverage Guarantees. CoRR Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh
2020	J	`jnl`	Reactive motion planning with probabilistic safety guarantees. CoRR Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
2020	Misc	`conf`	Reactive motion planning with probabilisticsafety guarantees. CoRL Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
2020	J	`jnl`	Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. CoRR Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian Charles Williams
2019	—	`—`	Formal methods for safe autonomy: Data-driven verification, synthesis, and applications Chuchu Fan
2019	J	`jnl`	Multi-Agent Safety Verification using Symmetry Transformations. CoRR Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
2019	—	`conf`	Partial Or Complete, That's The Question. NAACL-HLT (1) Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth
2019	J	`jnl`	Partial Or Complete, That's The Question. CoRR Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
2018	—	`conf`	ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018	B	`conf`	Approximate Partial Order Reduction. FM Chuchu Fan, Zhenqi Huang, Sayan Mitra
2018	—	`conf`	Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan
2018	J	`jnl`	Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test Chuchu Fan, Bolun Qi, Sayan Mitra
2018	—	`conf`	DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra
2018	J	`jnl`	Exploiting Partially Annotated Data for Temporal Relation Extraction. CoRR Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth
2018	—	`conf`	Exploiting Partially Annotated Data in Temporal Relation Extraction. *SEM@NAACL-HLT Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth
2018	J	`jnl`	Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
2018	—	`conf`	Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2018	J	`jnl`	Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
2017	J	`jnl`	DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	—	`conf`	DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan
2017	J	`jnl`	Road to safe autonomy with data and formal reasoning. CoRR Chuchu Fan, Bolun Qi, Sayan Mitra
2016	—	`conf`	Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala
2016	Misc	`conf`	Locally optimal reach set over-approximation for nonlinear systems. EMSOFT Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
2016	C	`conf`	Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
2015	B	`conf`	Bounded Verification with On-the-Fly Discrepancy Computation. ATVA Chuchu Fan, Sayan Mitra
2015	J	`jnl`	Bounded Verification with On-the-Fly Discrepancy Computation. CoRR Chuchu Fan, Sayan Mitra
2015	—	`conf`	Meeting a Powertrain Verification Challenge. CAV (1) Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan
2015	—	`conf`	Model Checking Tap Withdrawal in C. Elegans. HSB Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model Checking Tap Withdrawal in C. Elegans. CoRR Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	—	`conf`	Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
2015	J	`jnl`	Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2014	A*	`conf`	Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
2013	J	`jnl`	Image Super-Resolution Via Analysis Sparse Prior. IEEE Signal Process. Lett. Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu, Jiangtao Wen