Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Chuchu Fan

> Home > Persons

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

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/us/Fan19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Fan19a
Chuchu Fan:
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. University of Illinois Urbana-Champaign, USA, 2019

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/GargDXOF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/GargDXOF23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/YinDFT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/YinDFT23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/MengF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/MengF23
Yue Meng, Chuchu Fan:
Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. 8(11): 7719-7726 (2023)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/trob/DawsonGF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/trob/DawsonGF23
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)
2022
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ral/DawsonLGF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/DawsonLGF22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ral/QinSF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/QinSF22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ral/SunCMF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ral/SunCMF22
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/FanQMNMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/FanQMNMV22
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)
2018
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/FanQM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/FanQM18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/FanKJM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/FanKJM18
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)
2015
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/HuangFMMK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/HuangFMMK15
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)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/spl/NingCYFLW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spl/NingCYFLW13
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/GargF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/GargF23
Kunal Garg, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton 2023: 1-7
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LutzowMAF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LutzowMAF23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/TongDF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/TongDF23
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/ZhangXQF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/ZhangXQF23
Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. L4DC 2023: 272-285
[c40]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/MengF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/MengF23
Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC 2023: 1400-1415
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/SoF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/SoF23
Oswin So, Chuchu Fan:
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems 2023
2022
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/acl/NingZ0PF022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/NingZ0PF022
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ZhaoF022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ZhaoF022
Changyuan Zhao, Chuchu Fan, Bai Xue:
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC 2022: 3839-3845
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/QinXZFD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/QinXZFD22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/DawsonF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/DawsonF22
Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IROS 2022: 7205-7212
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/MengQWF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/MengQWF22
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]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/ZhangYCFG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/ZhangYCFG22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/0001F22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/0001F22
Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems 2022
2021
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Chen0FW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Chen0FW21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/MillerFM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/MillerFM21
Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TsukamotoCSF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TsukamotoCSF21
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/corl/MengSQWF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/corl/MengSQWF21
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/corl/DawsonQGF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/corl/DawsonQGF21
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL 2021: 1724-1735
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ChenWF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ChenWF21
Jingkai Chen, Brian C. Williams, Chuchu Fan:
Optimal mixed discrete-continuous planning for linear hybrid systems. HSCC 2021: 8:1-8:12
[c25]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/QinZCCF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/QinZCCF21
Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan:
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. ICLR 2021
[c24]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/QinCF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/QinCF21
Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. ICML 2021: 8682-8692
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/MengQF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/MengQF21
Yue Meng, Zengyi Qin, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. IROS 2021: 6299-6306
[c22]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/SunKSF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/SunKSF21
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
2020
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FanMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanMM20
Chuchu Fan, Kristina Miller, Sayan Mitra:
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) 2020: 629-652
[c20]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/corl/SunJF20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/corl/SunJF20
Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control Using Contraction Metric. CoRL 2020: 1519-1539
[c19]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/corl/0001RFAM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/corl/0001RFAM20
Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilisticsafety guarantees. CoRL 2020: 1958-1970
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SibaiMFM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SibaiMFM20
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190
2019
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/naacl/NingHFR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/naacl/NingHFR19
Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth:
Partial Or Complete, That's The Question. NAACL-HLT (1) 2019: 2190-2200
2018
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/AlthoffB0FFFKLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/adhs/ImmlerA0FFKLMTZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/ImmlerA0FFKLMTZ18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/FanM0BM018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/FanM0BM018
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FanMM018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanMM018
Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FanHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FanHM18
Chuchu Fan, Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. FM 2018: 588-607
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/QiFJM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/QiFJM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/starsem/NingYFR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/starsem/NingYFR18
Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth:
Exploiting Partially Annotated Data in Temporal Relation Extraction. *SEM@NAACL-HLT 2018: 148-153
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FanQM017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanQM017
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461
2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcca/DuggiralaFPQM0B16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FanQM0D16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FanQM0D16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/FanKJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/FanKJM16
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/FanM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/FanM15
Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DuggiralaFM015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DuggiralaFM015
Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/FanDM015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/FanDM015
Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hsb/IslamDFGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hsb/IslamDFGMS15
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
2014
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HuangFMMK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HuangFMMK14
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2021
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-11719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-11719
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)
[i47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-04212
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-04212
Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR abs/2303.04212 (2023)
[i46]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-10327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-10327
Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR abs/2303.10327 (2023)
[i45]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14564
Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. CoRR abs/2303.14564 (2023)
[i44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-07766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-07766
Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR abs/2305.07766 (2023)
[i43]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-14154
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-14154
Oswin So, Chuchu Fan:
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR abs/2305.14154 (2023)
[i42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-06531
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-06531
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)
[i41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-08722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-08722
Songyuan Zhang, Chuchu Fan:
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR abs/2306.08722 (2023)
[i40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-05131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05131
Yue Meng, Chuchu Fan:
Signal Temporal Logic Neural Predictive Control. CoRR abs/2309.05131 (2023)
[i39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-08052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-08052
Charles Dawson, Chuchu Fan:
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR abs/2309.08052 (2023)
[i38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-09108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-09108
Kunal Garg, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR abs/2309.09108 (2023)
[i37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-15943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-15943
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)
[i36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-06956
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-06956
Charles Dawson, Chuchu Fan:
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR abs/2310.06956 (2023)
[i35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-15478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-15478
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)
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-13014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-13014
Songyuan Zhang, Kunal Garg, Chuchu Fan:
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRR abs/2311.13014 (2023)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-13714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-13714
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)
2022
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-00932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-00932
Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan:
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. CoRR abs/2201.00932 (2022)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-01918
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-01918
Zengyi Qin, Dawei Sun, Chuchu Fan:
SABLAS: Learning Safe Control for Black-box Dynamical Systems. CoRR abs/2201.01918 (2022)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-05247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-05247
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-11762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-11762
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-02038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-02038
Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. CoRR abs/2203.02038 (2022)
[i27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-02475
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-02475
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2204-10935
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2204-10935
Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. CoRR abs/2204.10935 (2022)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-08073
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-08073
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-12266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-12266
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-12270
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-12270
Charles Dawson, Austin Garrett, Falk Pollok, Yang Zhang, Chuchu Fan:
Barrier functions enable safety-conscious force-feedback control. CoRR abs/2209.12270 (2022)
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-02131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-02131
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-08408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-08408
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
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-05436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-05436
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-08261
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-08261
Jingkai Chen, Brian Charles Williams, Chuchu Fan:
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems. CoRR abs/2102.08261 (2021)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-06567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-06567
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-12764
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-12764
Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. CoRR abs/2106.12764 (2021)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06689
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06689
Yue Meng, Zengyi Qin, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. CoRR abs/2109.06689 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06697
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06697
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR abs/2109.06697 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06728
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-00693
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-00693
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
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-00279
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-00279
Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh:
Parameter Searching and Partition with Probabilistic Coverage Guarantees. CoRR abs/2004.00279 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-03590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-03590
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-12569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-12569
Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control using Contraction Metric. CoRR abs/2011.12569 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-09052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-09052
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)
2019
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-04937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-04937
Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth:
Partial Or Complete, That's The Question. CoRR abs/1906.04937 (2019)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-00608
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-00608
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-Agent Safety Verification using Symmetry Transformations. CoRR abs/1911.00608 (2019)
2018
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-02975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-02975
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-08420
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-08420
Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth:
Exploiting Partially Annotated Data for Temporal Relation Extraction. CoRR abs/1804.08420 (2018)
2017
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FanQM017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FanQM017
Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DRYVR: Data-driven verification and compositional reasoning for automotive systems. CoRR abs/1702.06902 (2017)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FanQM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FanQM17
Chuchu Fan, Bolun Qi, Sayan Mitra:
Road to safe autonomy with data and formal reasoning. CoRR abs/1704.06406 (2017)
2015
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FanM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FanM15
Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. CoRR abs/1502.01801 (2015)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/IslamDFGMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/IslamDFGMS15
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)

Coauthor Index

see FAQ

a service of

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.