![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Chuchu Fan
Person information
- affiliation: Massachusetts Institute of Technology, MA, USA
- affiliation (Ph.D., 2019): University of Illinois at Urbana-Champaign, IL, USA
- award (2020): ACM Doctoral Dissertation Award
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j16]Kunal Garg
, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan:
Learning safe control for multi-robot systems: Methods, verification, and open challenges. Annu. Rev. Control. 57: 100948 (2024) - [j15]Ruixiao Yang
, Chuchu Fan
:
A Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem. IEEE Robotics Autom. Lett. 9(6): 5536-5543 (2024) - [j14]Xin Qin
, Yuan Xia
, Aditya Zutshi
, Chuchu Fan
, Jyotirmoy V. Deshmukh
:
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. ACM Trans. Cyber Phys. Syst. 8(2): 22 (2024) - [j13]Lizhi Wang
, Songyuan Zhang
, Yifan Zhou
, Chuchu Fan
, Peng Zhang
, Yacov A. Shamash
:
Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids. IEEE Trans. Smart Grid 15(1): 1184-1187 (2024) - [c53]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? ICRA 2024: 4311-4317 - [c52]Yongchao Chen, Jacob Arkin, Charles Dawson, Yang Zhang, Nicholas Roy, Chuchu Fan:
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. ICRA 2024: 6695-6702 - [c51]Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan:
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA 2024: 11532-11539 - [c50]Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations. ICRA 2024: 12857-12864 - [c49]Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan:
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA 2024: 14348-14355 - [c48]Songyuan Zhang, Chuchu Fan:
Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration. L4DC 2024: 52-67 - [i57]Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan:
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control. CoRR abs/2401.14554 (2024) - [i56]Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan:
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Preference Alignment. CoRR abs/2402.08702 (2024) - [i55]Allen M. Wang, Oswin So, Charles Dawson, Darren T. Garnier, Cristina Rea, Chuchu Fan:
Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning. CoRR abs/2402.09387 (2024) - [i54]Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan:
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR abs/2404.01184 (2024) - [i53]Charles Dawson, Anjali Parashar, Chuchu Fan:
RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling. CoRR abs/2404.03412 (2024) - [i52]Kunal Garg, Jacob Arkin, Songyuan Zhang, Nicholas Roy, Chuchu Fan:
Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems. CoRR abs/2404.06413 (2024) - [i51]Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan:
Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools. CoRR abs/2404.11891 (2024) - [i50]Feiyang Cai, Chuchu Fan, Stanley Bak:
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR abs/2405.18554 (2024) - 2023
- [j12]Kunal Garg
, Charles Dawson
, Kathleen Xu
, Melkior Ornik
, Chuchu Fan
:
Model-Free Neural Fault Detection and Isolation for Safe Control. IEEE Control. Syst. Lett. 7: 3169-3174 (2023) - [j11]Ji Yin
, Charles Dawson
, Chuchu Fan
, Panagiotis Tsiotras
:
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions. IEEE Robotics Autom. Lett. 8(11): 7106-7113 (2023) - [j10]Yue Meng
, Chuchu Fan
:
Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. 8(11): 7719-7726 (2023) - [j9]Charles Dawson
, Sicun Gao, Chuchu Fan
:
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics 39(3): 1749-1767 (2023) - [c47]Kunal Garg
, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton 2023: 1-7 - [c46]Charles Dawson, Chuchu Fan:
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRL 2023: 1706-1722 - [c45]Songyuan Zhang, Kunal Garg
, Chuchu Fan:
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRL 2023: 2373-2392 - [c44]Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP 2023: 15880-15903 - [c43]Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan:
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. ICRA 2023: 7886-7893 - [c42]Mukun Tong, Charles Dawson, Chuchu Fan:
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. ICRA 2023: 10511-10517 - [c41]Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. L4DC 2023: 272-285 - [c40]Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC 2023: 1400-1415 - [c39]Oswin So
, Chuchu Fan:
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems 2023 - [i49]Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras:
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. CoRR abs/2302.11719 (2023) - [i48]Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR abs/2303.04212 (2023) - [i47]Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR abs/2303.10327 (2023) - [i46]Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. CoRR abs/2303.14564 (2023) - [i45]Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR abs/2305.07766 (2023) - [i44]Oswin So, Chuchu Fan:
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR abs/2305.14154 (2023) - [i43]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. CoRR abs/2306.06531 (2023) - [i42]Songyuan Zhang, Chuchu Fan:
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR abs/2306.08722 (2023) - [i41]Yue Meng, Chuchu Fan:
Signal Temporal Logic Neural Predictive Control. CoRR abs/2309.05131 (2023) - [i40]Charles Dawson, Chuchu Fan:
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR abs/2309.08052 (2023) - [i39]Kunal Garg, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR abs/2309.09108 (2023) - [i38]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? CoRR abs/2309.15943 (2023) - [i37]Charles Dawson, Chuchu Fan:
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR abs/2310.06956 (2023) - [i36]Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan:
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR abs/2310.15478 (2023) - [i35]Songyuan Zhang, Kunal Garg, Chuchu Fan:
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRR abs/2311.13014 (2023) - [i34]Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan:
Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges. CoRR abs/2311.13714 (2023) - [i33]Oswin So, Andrew Clark, Chuchu Fan:
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold. CoRR abs/2312.02430 (2023) - 2022
- [j8]Charles Dawson
, Bethany Lowenkamp, Dylan Goff, Chuchu Fan
:
Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. IEEE Robotics Autom. Lett. 7(2): 1904-1911 (2022) - [j7]Zengyi Qin
, Dawei Sun
, Chuchu Fan
:
Sablas: Learning Safe Control for Black-Box Dynamical Systems. IEEE Robotics Autom. Lett. 7(2): 1928-1935 (2022) - [j6]Dawei Sun
, Jingkai Chen
, Sayan Mitra
, Chuchu Fan
:
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(2): 3451-3458 (2022) - [j5]Chuchu Fan
, Zengyi Qin
, Umang Mathur
, Qiang Ning
, Sayan Mitra
, Mahesh Viswanathan
:
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67(4): 1713-1727 (2022) - [c38]Qiang Ning, Ben Zhou, Hao Wu, Haoruo Peng, Chuchu Fan, Matt Gardner:
A Meta-framework for Spatiotemporal Quantity Extraction from Text. ACL (1) 2022: 2736-2749 - [c37]Changyuan Zhao, Chuchu Fan, Bai Xue:
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC 2022: 3839-3845 - [c36]Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh:
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. ICCPS 2022: 116-126 - [c35]Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IROS 2022: 7205-7212 - [c34]Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. NFM 2022: 251-271 - [c33]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS 2022 - [c32]Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems 2022 - [e1]Roderick Bloem, Rayna Dimitrova, Chuchu Fan
, Natasha Sharygina
:
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. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents] - [i32]Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan:
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. CoRR abs/2201.00932 (2022) - [i31]Zengyi Qin, Dawei Sun, Chuchu Fan:
SABLAS: Learning Safe Control for Black-box Dynamical Systems. CoRR abs/2201.01918 (2022) - [i30]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022) - [i29]Charles Dawson, Sicun Gao, Chuchu Fan:
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR abs/2202.11762 (2022) - [i28]Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. CoRR abs/2203.02038 (2022) - [i27]Jingkai Chen, Jiaoyang Li, Yijiang Huang, Caelan Reed Garrett, Dawei Sun, Chuchu Fan, Andreas G. Hofmann, Caitlin Mueller, Sven Koenig, Brian C. Williams:
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems. CoRR abs/2203.02475 (2022) - [i26]Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. CoRR abs/2204.10935 (2022) - [i25]Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. CoRR abs/2209.08073 (2022) - [i24]Mukun Tong, Charles Dawson, Chuchu Fan:
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. CoRR abs/2209.12266 (2022) - [i23]Charles Dawson, Austin Garrett, Falk Pollok, Yang Zhang, Chuchu Fan:
Barrier functions enable safety-conscious force-feedback control. CoRR abs/2209.12270 (2022) - [i22]Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan:
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. CoRR abs/2210.02131 (2022) - [i21]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR abs/2210.08408 (2022) - 2021
- [c31]Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams:
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. AAAI 2021: 11237-11245 - [c30]Kristina Miller, Chuchu Fan, Sayan Mitra
:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174 - [c29]Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan:
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CDC 2021: 2949-2954 - [c28]Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Learning Density Distribution of Reachable States for Autonomous Systems. CoRL 2021: 124-136 - [c27]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL 2021: 1724-1735 - [c26]Jingkai Chen, Brian C. Williams, Chuchu Fan:
Optimal mixed discrete-continuous planning for linear hybrid systems. HSCC 2021: 8:1-8:12 - [c25]Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan:
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. ICLR 2021 - [c24]Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. ICML 2021: 8682-8692 - [c23]Yue Meng, Zengyi Qin
, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. IROS 2021: 6299-6306 - [c22]Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan:
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. L4DC 2021: 728-741 - [i20]Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan:
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. CoRR abs/2101.05436 (2021) - [i19]Jingkai Chen, Brian Charles Williams, Chuchu Fan:
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems. CoRR abs/2102.08261 (2021) - [i18]Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan:
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. CoRR abs/2105.06567 (2021) - [i17]Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. CoRR abs/2106.12764 (2021) - [i16]Yue Meng, Zengyi Qin, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. CoRR abs/2109.06689 (2021) - [i15]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR abs/2109.06697 (2021) - [i14]Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Learning Density Distribution of Reachable States for Autonomous Systems. CoRR abs/2109.06728 (2021) - [i13]Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan:
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CoRR abs/2110.00693 (2021) - 2020
- [c21]Chuchu Fan
, Kristina Miller
, Sayan Mitra
:
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) 2020: 629-652 - [c20]Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control Using Contraction Metric. CoRL 2020: 1519-1539 - [c19]Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilisticsafety guarantees. CoRL 2020: 1958-1970 - [c18]Hussein Sibai
, Navid Mokhlesi
, Chuchu Fan
, Sayan Mitra
:
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190 - [i12]Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh:
Parameter Searching and Partition with Probabilistic Coverage Guarantees. CoRR abs/2004.00279 (2020) - [i11]Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilistic safety guarantees. CoRR abs/2011.03590 (2020) - [i10]Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control using Contraction Metric. CoRR abs/2011.12569 (2020) - [i9]Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian Charles Williams:
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. CoRR abs/2012.09052 (2020)
2010 – 2019
- 2019
- [b1]Chuchu Fan:
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. University of Illinois Urbana-Champaign, USA, 2019 - [c17]Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth:
Partial Or Complete, That's The Question. NAACL-HLT (1) 2019: 2190-2200 - [i8]Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth:
Partial Or Complete, That's The Question. CoRR abs/1906.04937 (2019) - [i7]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019) - 2018
- [j4]Chuchu Fan
, Bolun Qi, Sayan Mitra
:
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test 35(3): 31-38 (2018) - [j3]Chuchu Fan
, James Kapinski, Xiaoqing Jin, Sayan Mitra
:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018) - [c16]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling
, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c15]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c14]Chuchu Fan, Yu Meng, Jürgen Maier
, Ezio Bartocci
, Sayan Mitra
, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c13]Chuchu Fan
, Umang Mathur
, Sayan Mitra
, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366 - [c12]Chuchu Fan
, Zhenqi Huang, Sayan Mitra
:
Approximate Partial Order Reduction. FM 2018: 588-607 - [c11]Bolun Qi, Chuchu Fan
, Minghao Jiang, Sayan Mitra
:
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC 2018: 269-270 - [c10]Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth:
Exploiting Partially Annotated Data in Temporal Relation Extraction. *SEM@NAACL-HLT 2018: 148-153 - [i6]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR abs/1803.02975 (2018) - [i5]Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth:
Exploiting Partially Annotated Data for Temporal Relation Extraction. CoRR abs/1804.08420 (2018) - 2017
- [c9]Chuchu Fan
, Bolun Qi, Sayan Mitra
, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - [i4]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017) - [i3]Chuchu Fan, Bolun Qi, Sayan Mitra:
Road to safe autonomy with data and formal reasoning. CoRR abs/1704.06406 (2017) - 2016
- [c8]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
:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c7]Chuchu Fan
, Bolun Qi, Sayan Mitra
, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c6]Chuchu Fan
, James Kapinski, Xiaoqing Jin, Sayan Mitra
:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - 2015
- [j2]Zhenqi Huang, Chuchu Fan
, Alexandru Mereacre, Sayan Mitra
, Marta Z. Kwiatkowska
:
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - [c5]Chuchu Fan
, Sayan Mitra
:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463 - [c4]Parasara Sridhar Duggirala, Chuchu Fan
, Sayan Mitra
, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c3]Chuchu Fan
, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c2]Md. Ariful Islam, Richard DeFrancisco
, Chuchu Fan
, Radu Grosu, Sayan Mitra
, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - [i2]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. CoRR abs/1502.01801 (2015) - [i1]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480 (2015) - 2014
- [c1]Zhenqi Huang, Chuchu Fan
, Alexandru Mereacre, Sayan Mitra
, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390 - 2013
- [j1]Qiang Ning, Kan Chen, Li Yi, Chuchu Fan
, Yao Lu, Jiangtao Wen:
Image Super-Resolution Via Analysis Sparse Prior. IEEE Signal Process. Lett. 20(4): 399-402 (2013)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint