default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chuchu Fan
@article{DBLP:journals/arc/GargZSDF24,
author = {Kunal Garg and
Songyuan Zhang and
Oswin So and
Charles Dawson and
Chuchu Fan},
title = {Learning safe control for multi-robot systems: Methods, verification,
and open challenges},
journal = {Annu. Rev. Control.},
volume = {57},
pages = {100948},
year = {2024},
url = {https://doi.org/10.1016/j.arcontrol.2024.100948},
doi = {10.1016/J.ARCONTROL.2024.100948},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arc/GargZSDF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/YangF24,
author = {Ruixiao Yang and
Chuchu Fan},
title = {A Hierarchical Framework for Solving the Constrained Multiple Depot
Traveling Salesman Problem},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {9},
number = {6},
pages = {5536--5543},
year = {2024},
url = {https://doi.org/10.1109/LRA.2024.3389817},
doi = {10.1109/LRA.2024.3389817},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/YangF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/QinXZFD24,
author = {Xin Qin and
Yuan Xia and
Aditya Zutshi and
Chuchu Fan and
Jyotirmoy V. Deshmukh},
title = {Statistical Verification using Surrogate Models and Conformal Inference
and a Comparison with Risk-Aware Verification},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {8},
number = {2},
pages = {22},
year = {2024},
url = {https://doi.org/10.1145/3635160},
doi = {10.1145/3635160},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/QinXZFD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/WangZZFZS24,
author = {Lizhi Wang and
Songyuan Zhang and
Yifan Zhou and
Chuchu Fan and
Peng Zhang and
Yacov A. Shamash},
title = {Physics-Informed, Safety and Stability Certified Neural Control for
Uncertain Networked Microgrids},
journal = {{IEEE} Trans. Smart Grid},
volume = {15},
number = {1},
pages = {1184--1187},
year = {2024},
url = {https://doi.org/10.1109/TSG.2023.3309534},
doi = {10.1109/TSG.2023.3309534},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsg/WangZZFZS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenAZRF24,
author = {Yongchao Chen and
Jacob Arkin and
Yang Zhang and
Nicholas Roy and
Chuchu Fan},
title = {Scalable Multi-Robot Collaboration with Large Language Models: Centralized
or Decentralized Systems?},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {4311--4317},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10610676},
doi = {10.1109/ICRA57147.2024.10610676},
timestamp = {Mon, 19 Aug 2024 15:58:53 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChenAZRF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenA0ZRF24,
author = {Yongchao Chen and
Jacob Arkin and
Charles Dawson and
Yang Zhang and
Nicholas Roy and
Chuchu Fan},
title = {AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators
and Checkers},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {6695--6702},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10611163},
doi = {10.1109/ICRA57147.2024.10611163},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/ChenA0ZRF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/SoSMGRRF24,
author = {Oswin So and
Zachary Serlin and
Makai Mann and
Jake Gonzales and
Kwesi Rutledge and
Nicholas Roy and
Chuchu Fan},
title = {How to Train Your Neural Control Barrier Function: Learning Safety
Filters for Complex Input-Constrained Systems},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {11532--11539},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10610418},
doi = {10.1109/ICRA57147.2024.10610418},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/SoSMGRRF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MengVBFK24,
author = {Yue Meng and
Sai Vemprala and
Rogerio Bonatti and
Chuchu Fan and
Ashish Kapoor},
title = {ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {12857--12864},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10611109},
doi = {10.1109/ICRA57147.2024.10611109},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/MengVBFK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/YuYNUGF24,
author = {Mingxin Yu and
Chenning Yu and
M.{-}Mahdi Naddaf{-}Sh and
Devesh Upadhyay and
Sicun Gao and
Chuchu Fan},
title = {Efficient Motion Planning for Manipulators with Control Barrier Function-Induced
Neural Controller},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {14348--14355},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10610785},
doi = {10.1109/ICRA57147.2024.10610785},
timestamp = {Mon, 19 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/YuYNUGF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/ZhangF24,
author = {Songyuan Zhang and
Chuchu Fan},
editor = {Alessandro Abate and
Mark Cannon and
Kostas Margellos and
Antonis Papachristodoulou},
title = {Learning to stabilize high-dimensional unknown systems using Lyapunov-guided
exploration},
booktitle = {6th Annual Learning for Dynamics {\&} Control Conference, 15-17
July 2024, University of Oxford, Oxford, {UK}},
series = {Proceedings of Machine Learning Research},
volume = {242},
pages = {52--67},
publisher = {{PMLR}},
year = {2024},
url = {https://proceedings.mlr.press/v242/zhang24a.html},
timestamp = {Fri, 05 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/ZhangF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14554,
author = {Songyuan Zhang and
Oswin So and
Kunal Garg and
Chuchu Fan},
title = {{GCBF+:} {A} Neural Graph Control Barrier Function Framework for Distributed
Safe Multi-Agent Control},
journal = {CoRR},
volume = {abs/2401.14554},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14554},
doi = {10.48550/ARXIV.2401.14554},
eprinttype = {arXiv},
eprint = {2401.14554},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-08702,
author = {Yongchao Chen and
Jacob Arkin and
Yilun Hao and
Yang Zhang and
Nicholas Roy and
Chuchu Fan},
title = {PRompt Optimization in Multi-Step Tasks {(PROMST):} Integrating Human
Feedback and Preference Alignment},
journal = {CoRR},
volume = {abs/2402.08702},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.08702},
doi = {10.48550/ARXIV.2402.08702},
eprinttype = {arXiv},
eprint = {2402.08702},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-08702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-09387,
author = {Allen M. Wang and
Oswin So and
Charles Dawson and
Darren T. Garnier and
Cristina Rea and
Chuchu Fan},
title = {Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs
with Neural Differential Equations and Reinforcement Learning},
journal = {CoRR},
volume = {abs/2402.09387},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.09387},
doi = {10.48550/ARXIV.2402.09387},
eprinttype = {arXiv},
eprint = {2402.09387},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-09387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-01184,
author = {Mingxin Yu and
Chenning Yu and
M.{-}Mahdi Naddaf{-}Sh and
Devesh Upadhyay and
Sicun Gao and
Chuchu Fan},
title = {Efficient Motion Planning for Manipulators with Control Barrier Function-Induced
Neural Controller},
journal = {CoRR},
volume = {abs/2404.01184},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.01184},
doi = {10.48550/ARXIV.2404.01184},
eprinttype = {arXiv},
eprint = {2404.01184},
timestamp = {Wed, 08 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-01184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-03412,
author = {Charles Dawson and
Anjali Parashar and
Chuchu Fan},
title = {{RADIUM:} Predicting and Repairing End-to-End Robot Failures using
Gradient-Accelerated Sampling},
journal = {CoRR},
volume = {abs/2404.03412},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.03412},
doi = {10.48550/ARXIV.2404.03412},
eprinttype = {arXiv},
eprint = {2404.03412},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-03412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-06413,
author = {Kunal Garg and
Jacob Arkin and
Songyuan Zhang and
Nicholas Roy and
Chuchu Fan},
title = {Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot
Systems},
journal = {CoRR},
volume = {abs/2404.06413},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.06413},
doi = {10.48550/ARXIV.2404.06413},
eprinttype = {arXiv},
eprint = {2404.06413},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-06413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-11891,
author = {Yilun Hao and
Yongchao Chen and
Yang Zhang and
Chuchu Fan},
title = {Large Language Models Can Plan Your Travels Rigorously with Formal
Verification Tools},
journal = {CoRR},
volume = {abs/2404.11891},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.11891},
doi = {10.48550/ARXIV.2404.11891},
eprinttype = {arXiv},
eprint = {2404.11891},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-11891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-18554,
author = {Feiyang Cai and
Chuchu Fan and
Stanley Bak},
title = {Scalable Surrogate Verification of Image-based Neural Network Control
Systems using Composition and Unrolling},
journal = {CoRR},
volume = {abs/2405.18554},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.18554},
doi = {10.48550/ARXIV.2405.18554},
eprinttype = {arXiv},
eprint = {2405.18554},
timestamp = {Fri, 21 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-18554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-11187,
author = {Ruixiao Yang and
Chuchu Fan},
title = {Optimization of Multi-Agent Flying Sidekick Traveling Salesman Problem
over Road Networks},
journal = {CoRR},
volume = {abs/2408.11187},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.11187},
doi = {10.48550/ARXIV.2408.11187},
eprinttype = {arXiv},
eprint = {2408.11187},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-11187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/GargDXOF23,
author = {Kunal Garg and
Charles Dawson and
Kathleen Xu and
Melkior Ornik and
Chuchu Fan},
title = {Model-Free Neural Fault Detection and Isolation for Safe Control},
journal = {{IEEE} Control. Syst. Lett.},
volume = {7},
pages = {3169--3174},
year = {2023},
url = {https://doi.org/10.1109/LCSYS.2023.3302768},
doi = {10.1109/LCSYS.2023.3302768},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/GargDXOF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/YinDFT23,
author = {Ji Yin and
Charles Dawson and
Chuchu Fan and
Panagiotis Tsiotras},
title = {Shield Model Predictive Path Integral: {A} Computationally Efficient
Robust {MPC} Method Using Control Barrier Functions},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {8},
number = {11},
pages = {7106--7113},
year = {2023},
url = {https://doi.org/10.1109/LRA.2023.3315211},
doi = {10.1109/LRA.2023.3315211},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/YinDFT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/MengF23,
author = {Yue Meng and
Chuchu Fan},
title = {Signal Temporal Logic Neural Predictive Control},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {8},
number = {11},
pages = {7719--7726},
year = {2023},
url = {https://doi.org/10.1109/LRA.2023.3315536},
doi = {10.1109/LRA.2023.3315536},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/MengF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/DawsonGF23,
author = {Charles Dawson and
Sicun Gao and
Chuchu Fan},
title = {Safe Control With Learned Certificates: {A} Survey of Neural Lyapunov,
Barrier, and Contraction Methods for Robotics and Control},
journal = {{IEEE} Trans. Robotics},
volume = {39},
number = {3},
pages = {1749--1767},
year = {2023},
url = {https://doi.org/10.1109/TRO.2022.3232542},
doi = {10.1109/TRO.2022.3232542},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/DawsonGF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/GargF23,
author = {Kunal Garg and
Chuchu Fan},
title = {Neural Network-based Fault Detection and Identification for Quadrotors
using Dynamic Symmetry},
booktitle = {59th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2023, Monticello, IL, USA, September 26-29, 2023},
pages = {1--7},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/Allerton58177.2023.10313441},
doi = {10.1109/ALLERTON58177.2023.10313441},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/allerton/GargF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/0001F23,
author = {Charles Dawson and
Chuchu Fan},
editor = {Jie Tan and
Marc Toussaint and
Kourosh Darvish},
title = {A Bayesian approach to breaking things: efficiently predicting and
repairing failure modes via sampling},
booktitle = {Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta,
GA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {229},
pages = {1706--1722},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v229/dawson23a.html},
timestamp = {Tue, 20 Feb 2024 12:11:46 +0100},
biburl = {https://dblp.org/rec/conf/corl/0001F23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/ZhangGF23,
author = {Songyuan Zhang and
Kunal Garg and
Chuchu Fan},
editor = {Jie Tan and
Marc Toussaint and
Kourosh Darvish},
title = {Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance
Multi-agent Control},
booktitle = {Conference on Robot Learning, CoRL 2023, 6-9 November 2023, Atlanta,
GA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {229},
pages = {2373--2392},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v229/zhang23h.html},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/corl/ZhangGF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ChenGZF23,
author = {Yongchao Chen and
Rujul Gandhi and
Yang Zhang and
Chuchu Fan},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {{NL2TL:} Transforming Natural Languages to Temporal Logics using Large
Language Models},
booktitle = {Proceedings of the 2023 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2023, Singapore, December 6-10, 2023},
pages = {15880--15903},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.emnlp-main.985},
doi = {10.18653/V1/2023.EMNLP-MAIN.985},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ChenGZF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LutzowMAF23,
author = {Laura L{\"{u}}tzow and
Yue Meng and
Andres S. Chavez Armijos and
Chuchu Fan},
title = {Density Planner: Minimizing Collision Risk in Motion Planning with
Dynamic Obstacles using Density-based Reachability},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {7886--7893},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10161378},
doi = {10.1109/ICRA48891.2023.10161378},
timestamp = {Tue, 08 Aug 2023 10:24:29 +0200},
biburl = {https://dblp.org/rec/conf/icra/LutzowMAF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/TongDF23,
author = {Mukun Tong and
Charles Dawson and
Chuchu Fan},
title = {Enforcing safety for vision-based controllers via Control Barrier
Functions and Neural Radiance Fields},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {10511--10517},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10161482},
doi = {10.1109/ICRA48891.2023.10161482},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/TongDF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/ZhangXQF23,
author = {Songyuan Zhang and
Yumeng Xiu and
Guannan Qu and
Chuchu Fan},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {Compositional Neural Certificates for Networked Dynamical Systems},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {272--285},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/zhang23a.html},
timestamp = {Fri, 16 Jun 2023 14:48:17 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/ZhangXQF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/MengF23,
author = {Yue Meng and
Chuchu Fan},
editor = {Nikolai Matni and
Manfred Morari and
George J. Pappas},
title = {Hybrid Systems Neural Control with Region-of-Attraction Planner},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2023, 15-16 June
2023, Philadelphia, PA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {211},
pages = {1400--1415},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v211/meng23a.html},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/MengF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/SoF23,
author = {Oswin So and
Chuchu Fan},
editor = {Kostas E. Bekris and
Kris Hauser and
Sylvia L. Herbert and
Jingjin Yu},
title = {Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep
Reinforcement Learning},
booktitle = {Robotics: Science and Systems XIX, Daegu, Republic of Korea, July
10-14, 2023},
year = {2023},
url = {https://doi.org/10.15607/RSS.2023.XIX.085},
doi = {10.15607/RSS.2023.XIX.085},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rss/SoF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-11719,
author = {Ji Yin and
Charles Dawson and
Chuchu Fan and
Panagiotis Tsiotras},
title = {Shield Model Predictive Path Integral: {A} Computationally Efficient
Robust {MPC} Approach Using Control Barrier Functions},
journal = {CoRR},
volume = {abs/2302.11719},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.11719},
doi = {10.48550/ARXIV.2302.11719},
eprinttype = {arXiv},
eprint = {2302.11719},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-11719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04212,
author = {Yue Meng and
Sai Vemprala and
Rogerio Bonatti and
Chuchu Fan and
Ashish Kapoor},
title = {ConBaT: Control Barrier Transformer for Safe Policy Learning},
journal = {CoRR},
volume = {abs/2303.04212},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04212},
doi = {10.48550/ARXIV.2303.04212},
eprinttype = {arXiv},
eprint = {2303.04212},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-10327,
author = {Yue Meng and
Chuchu Fan},
title = {Hybrid Systems Neural Control with Region-of-Attraction Planner},
journal = {CoRR},
volume = {abs/2303.10327},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.10327},
doi = {10.48550/ARXIV.2303.10327},
eprinttype = {arXiv},
eprint = {2303.10327},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-10327.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14564,
author = {Songyuan Zhang and
Yumeng Xiu and
Guannan Qu and
Chuchu Fan},
title = {Compositional Neural Certificates for Networked Dynamical Systems},
journal = {CoRR},
volume = {abs/2303.14564},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14564},
doi = {10.48550/ARXIV.2303.14564},
eprinttype = {arXiv},
eprint = {2303.14564},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-07766,
author = {Yongchao Chen and
Rujul Gandhi and
Yang Zhang and
Chuchu Fan},
title = {{NL2TL:} Transforming Natural Languages to Temporal Logics using Large
Language Models},
journal = {CoRR},
volume = {abs/2305.07766},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.07766},
doi = {10.48550/ARXIV.2305.07766},
eprinttype = {arXiv},
eprint = {2305.07766},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-07766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-14154,
author = {Oswin So and
Chuchu Fan},
title = {Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep
Reinforcement Learning},
journal = {CoRR},
volume = {abs/2305.14154},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.14154},
doi = {10.48550/ARXIV.2305.14154},
eprinttype = {arXiv},
eprint = {2305.14154},
timestamp = {Mon, 05 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-14154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-06531,
author = {Yongchao Chen and
Jacob Arkin and
Yang Zhang and
Nicholas Roy and
Chuchu Fan},
title = {AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators
and Checkers},
journal = {CoRR},
volume = {abs/2306.06531},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.06531},
doi = {10.48550/ARXIV.2306.06531},
eprinttype = {arXiv},
eprint = {2306.06531},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-06531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-08722,
author = {Songyuan Zhang and
Chuchu Fan},
title = {Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided
Exploration},
journal = {CoRR},
volume = {abs/2306.08722},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.08722},
doi = {10.48550/ARXIV.2306.08722},
eprinttype = {arXiv},
eprint = {2306.08722},
timestamp = {Sun, 18 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-05131,
author = {Yue Meng and
Chuchu Fan},
title = {Signal Temporal Logic Neural Predictive Control},
journal = {CoRR},
volume = {abs/2309.05131},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.05131},
doi = {10.48550/ARXIV.2309.05131},
eprinttype = {arXiv},
eprint = {2309.05131},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-05131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-08052,
author = {Charles Dawson and
Chuchu Fan},
title = {A Bayesian approach to breaking things: efficiently predicting and
repairing failure modes via sampling},
journal = {CoRR},
volume = {abs/2309.08052},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.08052},
doi = {10.48550/ARXIV.2309.08052},
eprinttype = {arXiv},
eprint = {2309.08052},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-08052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-09108,
author = {Kunal Garg and
Chuchu Fan},
title = {Neural Network-based Fault Detection and Identification for Quadrotors
using Dynamic Symmetry},
journal = {CoRR},
volume = {abs/2309.09108},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.09108},
doi = {10.48550/ARXIV.2309.09108},
eprinttype = {arXiv},
eprint = {2309.09108},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-09108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15943,
author = {Yongchao Chen and
Jacob Arkin and
Yang Zhang and
Nicholas Roy and
Chuchu Fan},
title = {Scalable Multi-Robot Collaboration with Large Language Models: Centralized
or Decentralized Systems?},
journal = {CoRR},
volume = {abs/2309.15943},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.15943},
doi = {10.48550/ARXIV.2309.15943},
eprinttype = {arXiv},
eprint = {2309.15943},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-15943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-06956,
author = {Charles Dawson and
Chuchu Fan},
title = {Adversarial optimization leads to over-optimistic security-constrained
dispatch, but sampling can help},
journal = {CoRR},
volume = {abs/2310.06956},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.06956},
doi = {10.48550/ARXIV.2310.06956},
eprinttype = {arXiv},
eprint = {2310.06956},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-06956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-15478,
author = {Oswin So and
Zachary Serlin and
Makai Mann and
Jake Gonzales and
Kwesi Rutledge and
Nicholas Roy and
Chuchu Fan},
title = {How to Train Your Neural Control Barrier Function: Learning Safety
Filters for Complex Input-Constrained Systems},
journal = {CoRR},
volume = {abs/2310.15478},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.15478},
doi = {10.48550/ARXIV.2310.15478},
eprinttype = {arXiv},
eprint = {2310.15478},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-15478.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-13014,
author = {Songyuan Zhang and
Kunal Garg and
Chuchu Fan},
title = {Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance
Multi-agent Control},
journal = {CoRR},
volume = {abs/2311.13014},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.13014},
doi = {10.48550/ARXIV.2311.13014},
eprinttype = {arXiv},
eprint = {2311.13014},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-13014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-13714,
author = {Kunal Garg and
Songyuan Zhang and
Oswin So and
Charles Dawson and
Chuchu Fan},
title = {Learning Safe Control for Multi-Robot Systems: Methods, Verification,
and Open Challenges},
journal = {CoRR},
volume = {abs/2311.13714},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.13714},
doi = {10.48550/ARXIV.2311.13714},
eprinttype = {arXiv},
eprint = {2311.13714},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-13714.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-02430,
author = {Oswin So and
Andrew Clark and
Chuchu Fan},
title = {Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions
Do Not Hold},
journal = {CoRR},
volume = {abs/2312.02430},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.02430},
doi = {10.48550/ARXIV.2312.02430},
eprinttype = {arXiv},
eprint = {2312.02430},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-02430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/DawsonLGF22,
author = {Charles Dawson and
Bethany Lowenkamp and
Dylan Goff and
Chuchu Fan},
title = {Learning Safe, Generalizable Perception-Based Hybrid Control With
Certificates},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {2},
pages = {1904--1911},
year = {2022},
url = {https://doi.org/10.1109/LRA.2022.3141657},
doi = {10.1109/LRA.2022.3141657},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/DawsonLGF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/QinSF22,
author = {Zengyi Qin and
Dawei Sun and
Chuchu Fan},
title = {Sablas: Learning Safe Control for Black-Box Dynamical Systems},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {2},
pages = {1928--1935},
year = {2022},
url = {https://doi.org/10.1109/LRA.2022.3142743},
doi = {10.1109/LRA.2022.3142743},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/QinSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/SunCMF22,
author = {Dawei Sun and
Jingkai Chen and
Sayan Mitra and
Chuchu Fan},
title = {Multi-Agent Motion Planning From Signal Temporal Logic Specifications},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {7},
number = {2},
pages = {3451--3458},
year = {2022},
url = {https://doi.org/10.1109/LRA.2022.3146951},
doi = {10.1109/LRA.2022.3146951},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ral/SunCMF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/FanQMNMV22,
author = {Chuchu Fan and
Zengyi Qin and
Umang Mathur and
Qiang Ning and
Sayan Mitra and
Mahesh Viswanathan},
title = {Controller Synthesis for Linear System With Reach-Avoid Specifications},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {4},
pages = {1713--1727},
year = {2022},
url = {https://doi.org/10.1109/TAC.2021.3069723},
doi = {10.1109/TAC.2021.3069723},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/FanQMNMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/NingZ0PF022,
author = {Qiang Ning and
Ben Zhou and
Hao Wu and
Haoruo Peng and
Chuchu Fan and
Matt Gardner},
editor = {Smaranda Muresan and
Preslav Nakov and
Aline Villavicencio},
title = {A Meta-framework for Spatiotemporal Quantity Extraction from Text},
booktitle = {Proceedings of the 60th Annual Meeting of the Association for Computational
Linguistics (Volume 1: Long Papers), {ACL} 2022, Dublin, Ireland,
May 22-27, 2022},
pages = {2736--2749},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.acl-long.195},
doi = {10.18653/V1/2022.ACL-LONG.195},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/NingZ0PF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ZhaoF022,
author = {Changyuan Zhao and
Chuchu Fan and
Bai Xue},
title = {Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems},
booktitle = {61st {IEEE} Conference on Decision and Control, {CDC} 2022, Cancun,
Mexico, December 6-9, 2022},
pages = {3839--3845},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CDC51059.2022.9993391},
doi = {10.1109/CDC51059.2022.9993391},
timestamp = {Wed, 18 Jan 2023 15:37:37 +0100},
biburl = {https://dblp.org/rec/conf/cdc/ZhaoF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/QinXZFD22,
author = {Xin Qin and
Yuan Xian and
Aditya Zutshi and
Chuchu Fan and
Jyotirmoy V. Deshmukh},
title = {Statistical Verification of Cyber-Physical Systems using Surrogate
Models and Conformal Inference},
booktitle = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2022, Milano, Italy, May 4-6, 2022},
pages = {116--126},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCPS54341.2022.00017},
doi = {10.1109/ICCPS54341.2022.00017},
timestamp = {Wed, 29 Jun 2022 17:24:41 +0200},
biburl = {https://dblp.org/rec/conf/iccps/QinXZFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/DawsonF22,
author = {Charles Dawson and
Chuchu Fan},
title = {Robust Counterexample-guided Optimization for Planning from Differentiable
Temporal Logic},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2022, Kyoto, Japan, October 23-27, 2022},
pages = {7205--7212},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IROS47612.2022.9981382},
doi = {10.1109/IROS47612.2022.9981382},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iros/DawsonF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MengQWF22,
author = {Yue Meng and
Zeng Qiu and
Md Tawhid Bin Waez and
Chuchu Fan},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {Case Studies for Computing Density of Reachable States for Safe Autonomous
Motion Planning},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {251--271},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_13},
doi = {10.1007/978-3-031-06773-0\_13},
timestamp = {Mon, 23 May 2022 16:36:23 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MengQWF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhangYCFG22,
author = {Ruipeng Zhang and
Chenning Yu and
Jingkai Chen and
Chuchu Fan and
Sicun Gao},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Learning-based Motion Planning in Dynamic Environments Using GNNs
and Temporal Encoding},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/c1d4798259250f2b4fe38614b48f8996-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/ZhangYCFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rss/0001F22,
author = {Charles Dawson and
Chuchu Fan},
editor = {Kris Hauser and
Dylan A. Shell and
Shoudong Huang},
title = {Certifiable Robot Design Optimization using Differentiable Programming},
booktitle = {Robotics: Science and Systems XVIII, New York City, NY, USA, June
27 - July 1, 2022},
year = {2022},
url = {https://doi.org/10.15607/RSS.2022.XVIII.037},
doi = {10.15607/RSS.2022.XVIII.037},
timestamp = {Thu, 20 Jul 2023 14:50:03 +0200},
biburl = {https://dblp.org/rec/conf/rss/0001F22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2021,
editor = {Roderick Bloem and
Rayna Dimitrova and
Chuchu Fan and
Natasha Sharygina},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {13124},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-95561-8},
doi = {10.1007/978-3-030-95561-8},
isbn = {978-3-030-95560-1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-00932,
author = {Charles Dawson and
Bethany Lowenkamp and
Dylan Goff and
Chuchu Fan},
title = {Learning Safe, Generalizable Perception-based Hybrid Control with
Certificates},
journal = {CoRR},
volume = {abs/2201.00932},
year = {2022},
url = {https://arxiv.org/abs/2201.00932},
eprinttype = {arXiv},
eprint = {2201.00932},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-00932.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-01918,
author = {Zengyi Qin and
Dawei Sun and
Chuchu Fan},
title = {{SABLAS:} Learning Safe Control for Black-box Dynamical Systems},
journal = {CoRR},
volume = {abs/2201.01918},
year = {2022},
url = {https://arxiv.org/abs/2201.01918},
eprinttype = {arXiv},
eprint = {2201.01918},
timestamp = {Mon, 10 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-01918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-05247,
author = {Dawei Sun and
Jingkai Chen and
Sayan Mitra and
Chuchu Fan},
title = {Multi-agent Motion Planning from Signal Temporal Logic Specifications},
journal = {CoRR},
volume = {abs/2201.05247},
year = {2022},
url = {https://arxiv.org/abs/2201.05247},
eprinttype = {arXiv},
eprint = {2201.05247},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11762,
author = {Charles Dawson and
Sicun Gao and
Chuchu Fan},
title = {Safe Control with Learned Certificates: {A} Survey of Neural Lyapunov,
Barrier, and Contraction methods},
journal = {CoRR},
volume = {abs/2202.11762},
year = {2022},
url = {https://arxiv.org/abs/2202.11762},
eprinttype = {arXiv},
eprint = {2202.11762},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-11762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02038,
author = {Charles Dawson and
Chuchu Fan},
title = {Robust Counterexample-guided Optimization for Planning from Differentiable
Temporal Logic},
journal = {CoRR},
volume = {abs/2203.02038},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.02038},
doi = {10.48550/ARXIV.2203.02038},
eprinttype = {arXiv},
eprint = {2203.02038},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-02038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02475,
author = {Jingkai Chen and
Jiaoyang Li and
Yijiang Huang and
Caelan Reed Garrett and
Dawei Sun and
Chuchu Fan and
Andreas G. Hofmann and
Caitlin Mueller and
Sven Koenig and
Brian C. Williams},
title = {Cooperative Task and Motion Planning for Multi-Arm Assembly Systems},
journal = {CoRR},
volume = {abs/2203.02475},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.02475},
doi = {10.48550/ARXIV.2203.02475},
eprinttype = {arXiv},
eprint = {2203.02475},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-02475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10935,
author = {Charles Dawson and
Chuchu Fan},
title = {Certifiable Robot Design Optimization using Differentiable Programming},
journal = {CoRR},
volume = {abs/2204.10935},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10935},
doi = {10.48550/ARXIV.2204.10935},
eprinttype = {arXiv},
eprint = {2204.10935},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-08073,
author = {Yue Meng and
Zeng Qiu and
Md Tawhid Bin Waez and
Chuchu Fan},
title = {Case Studies for Computing Density of Reachable States for Safe Autonomous
Motion Planning},
journal = {CoRR},
volume = {abs/2209.08073},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.08073},
doi = {10.48550/ARXIV.2209.08073},
eprinttype = {arXiv},
eprint = {2209.08073},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-08073.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12266,
author = {Mukun Tong and
Charles Dawson and
Chuchu Fan},
title = {Enforcing safety for vision-based controllers via Control Barrier
Functions and Neural Radiance Fields},
journal = {CoRR},
volume = {abs/2209.12266},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.12266},
doi = {10.48550/ARXIV.2209.12266},
eprinttype = {arXiv},
eprint = {2209.12266},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-12266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-12270,
author = {Charles Dawson and
Austin Garrett and
Falk Pollok and
Yang Zhang and
Chuchu Fan},
title = {Barrier functions enable safety-conscious force-feedback control},
journal = {CoRR},
volume = {abs/2209.12270},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.12270},
doi = {10.48550/ARXIV.2209.12270},
eprinttype = {arXiv},
eprint = {2209.12270},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-12270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-02131,
author = {Laura L{\"{u}}tzow and
Yue Meng and
Andres S. Chavez Armijos and
Chuchu Fan},
title = {Density Planner: Minimizing Collision Risk in Motion Planning with
Dynamic Obstacles using Density-based Reachability},
journal = {CoRR},
volume = {abs/2210.02131},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.02131},
doi = {10.48550/ARXIV.2210.02131},
eprinttype = {arXiv},
eprint = {2210.02131},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-02131.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-08408,
author = {Ruipeng Zhang and
Chenning Yu and
Jingkai Chen and
Chuchu Fan and
Sicun Gao},
title = {Learning-based Motion Planning in Dynamic Environments Using GNNs
and Temporal Encoding},
journal = {CoRR},
volume = {abs/2210.08408},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.08408},
doi = {10.48550/ARXIV.2210.08408},
eprinttype = {arXiv},
eprint = {2210.08408},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-08408.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Chen0FW21,
author = {Jingkai Chen and
Jiaoyang Li and
Chuchu Fan and
Brian C. Williams},
title = {Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics
and Bounded Disturbances},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11237--11245},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17340},
doi = {10.1609/AAAI.V35I13.17340},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Chen0FW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/MillerFM21,
author = {Kristina Miller and
Chuchu Fan and
Sayan Mitra},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Planning in Dynamic and Partially Unknown Environments},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {169--174},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.493},
doi = {10.1016/J.IFACOL.2021.08.493},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/MillerFM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/TsukamotoCSF21,
author = {Hiroyasu Tsukamoto and
Soon{-}Jo Chung and
Jean{-}Jacques E. Slotine and
Chuchu Fan},
title = {A Theoretical Overview of Neural Contraction Metrics for Learning-based
Control with Guaranteed Stability},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {2949--2954},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9682859},
doi = {10.1109/CDC45484.2021.9682859},
timestamp = {Tue, 17 May 2022 15:53:17 +0200},
biburl = {https://dblp.org/rec/conf/cdc/TsukamotoCSF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/MengSQWF21,
author = {Yue Meng and
Dawei Sun and
Zeng Qiu and
Md Tawhid Bin Waez and
Chuchu Fan},
editor = {Aleksandra Faust and
David Hsu and
Gerhard Neumann},
title = {Learning Density Distribution of Reachable States for Autonomous Systems},
booktitle = {Conference on Robot Learning, 8-11 November 2021, London, {UK}},
series = {Proceedings of Machine Learning Research},
volume = {164},
pages = {124--136},
publisher = {{PMLR}},
year = {2021},
url = {https://proceedings.mlr.press/v164/meng22a.html},
timestamp = {Wed, 19 Jan 2022 17:10:33 +0100},
biburl = {https://dblp.org/rec/conf/corl/MengSQWF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/DawsonQGF21,
author = {Charles Dawson and
Zengyi Qin and
Sicun Gao and
Chuchu Fan},
editor = {Aleksandra Faust and
David Hsu and
Gerhard Neumann},
title = {Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions},
booktitle = {Conference on Robot Learning, 8-11 November 2021, London, {UK}},
series = {Proceedings of Machine Learning Research},
volume = {164},
pages = {1724--1735},
publisher = {{PMLR}},
year = {2021},
url = {https://proceedings.mlr.press/v164/dawson22a.html},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/corl/DawsonQGF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChenWF21,
author = {Jingkai Chen and
Brian C. Williams and
Chuchu Fan},
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {Optimal mixed discrete-continuous planning for linear hybrid systems},
booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
pages = {8:1--8:12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928.3456654},
doi = {10.1145/3447928.3456654},
timestamp = {Wed, 19 May 2021 14:55:26 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChenWF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/QinZCCF21,
author = {Zengyi Qin and
Kaiqing Zhang and
Yuxiao Chen and
Jingkai Chen and
Chuchu Fan},
title = {Learning Safe Multi-agent Control with Decentralized Neural Barrier
Certificates},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=P6\_q1BRxY8Q},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/QinZCCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/QinCF21,
author = {Zengyi Qin and
Yuxiao Chen and
Chuchu Fan},
editor = {Marina Meila and
Tong Zhang},
title = {Density Constrained Reinforcement Learning},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {8682--8692},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/qin21a.html},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/QinCF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MengQF21,
author = {Yue Meng and
Zengyi Qin and
Chuchu Fan},
title = {Reactive and Safe Road User Simulations using Neural Barrier Certificates},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {6299--6306},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636568},
doi = {10.1109/IROS51168.2021.9636568},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/MengQF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/SunKSF21,
author = {Dawei Sun and
Mohammad Javad Khojasteh and
Shubhanshu Shekhar and
Chuchu Fan},
editor = {Ali Jadbabaie and
John Lygeros and
George J. Pappas and
Pablo A. Parrilo and
Benjamin Recht and
Claire J. Tomlin and
Melanie N. Zeilinger},
title = {Uncertain-aware Safe Exploratory Planning using Gaussian Process and
Neural Control Contraction Metric},
booktitle = {Proceedings of the 3rd Annual Conference on Learning for Dynamics
and Control, {L4DC} 2021, 7-8 June 2021, Virtual Event, Switzerland},
series = {Proceedings of Machine Learning Research},
volume = {144},
pages = {728--741},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v144/sun21a.html},
timestamp = {Mon, 14 Jun 2021 08:02:30 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/SunKSF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05436,
author = {Zengyi Qin and
Kaiqing Zhang and
Yuxiao Chen and
Jingkai Chen and
Chuchu Fan},
title = {Learning Safe Multi-Agent Control with Decentralized Neural Barrier
Certificates},
journal = {CoRR},
volume = {abs/2101.05436},
year = {2021},
url = {https://arxiv.org/abs/2101.05436},
eprinttype = {arXiv},
eprint = {2101.05436},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-08261,
author = {Jingkai Chen and
Brian Charles Williams and
Chuchu Fan},
title = {Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems},
journal = {CoRR},
volume = {abs/2102.08261},
year = {2021},
url = {https://arxiv.org/abs/2102.08261},
eprinttype = {arXiv},
eprint = {2102.08261},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06567,
author = {Dawei Sun and
Mohammad Javad Khojasteh and
Shubhanshu Shekhar and
Chuchu Fan},
title = {Uncertainty-aware Safe Exploratory Planning using Gaussian Process
and Neural Control Contraction Metric},
journal = {CoRR},
volume = {abs/2105.06567},
year = {2021},
url = {https://arxiv.org/abs/2105.06567},
eprinttype = {arXiv},
eprint = {2105.06567},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-12764,
author = {Zengyi Qin and
Yuxiao Chen and
Chuchu Fan},
title = {Density Constrained Reinforcement Learning},
journal = {CoRR},
volume = {abs/2106.12764},
year = {2021},
url = {https://arxiv.org/abs/2106.12764},
eprinttype = {arXiv},
eprint = {2106.12764},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-12764.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06689,
author = {Yue Meng and
Zengyi Qin and
Chuchu Fan},
title = {Reactive and Safe Road User Simulations using Neural Barrier Certificates},
journal = {CoRR},
volume = {abs/2109.06689},
year = {2021},
url = {https://arxiv.org/abs/2109.06689},
eprinttype = {arXiv},
eprint = {2109.06689},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06697,
author = {Charles Dawson and
Zengyi Qin and
Sicun Gao and
Chuchu Fan},
title = {Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions},
journal = {CoRR},
volume = {abs/2109.06697},
year = {2021},
url = {https://arxiv.org/abs/2109.06697},
eprinttype = {arXiv},
eprint = {2109.06697},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06728,
author = {Yue Meng and
Dawei Sun and
Zeng Qiu and
Md Tawhid Bin Waez and
Chuchu Fan},
title = {Learning Density Distribution of Reachable States for Autonomous Systems},
journal = {CoRR},
volume = {abs/2109.06728},
year = {2021},
url = {https://arxiv.org/abs/2109.06728},
eprinttype = {arXiv},
eprint = {2109.06728},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-00693,
author = {Hiroyasu Tsukamoto and
Soon{-}Jo Chung and
Jean{-}Jacques E. Slotine and
Chuchu Fan},
title = {A Theoretical Overview of Neural Contraction Metrics for Learning-based
Control with Guaranteed Stability},
journal = {CoRR},
volume = {abs/2110.00693},
year = {2021},
url = {https://arxiv.org/abs/2110.00693},
eprinttype = {arXiv},
eprint = {2110.00693},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-00693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FanMM20,
author = {Chuchu Fan and
Kristina Miller and
Sayan Mitra},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle
Models},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {629--652},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_31},
doi = {10.1007/978-3-030-53288-8\_31},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/FanMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/SunJF20,
author = {Dawei Sun and
Susmit Jha and
Chuchu Fan},
editor = {Jens Kober and
Fabio Ramos and
Claire J. Tomlin},
title = {Learning Certified Control Using Contraction Metric},
booktitle = {4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020,
Virtual Event / Cambridge, MA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {155},
pages = {1519--1539},
publisher = {{PMLR}},
year = {2020},
url = {https://proceedings.mlr.press/v155/sun21b.html},
timestamp = {Tue, 18 Oct 2022 08:35:37 +0200},
biburl = {https://dblp.org/rec/conf/corl/SunJF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/0001RFAM20,
author = {Yuxiao Chen and
Ugo Rosolia and
Chuchu Fan and
Aaron D. Ames and
Richard M. Murray},
editor = {Jens Kober and
Fabio Ramos and
Claire J. Tomlin},
title = {Reactive motion planning with probabilisticsafety guarantees},
booktitle = {4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020,
Virtual Event / Cambridge, MA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {155},
pages = {1958--1970},
publisher = {{PMLR}},
year = {2020},
url = {https://proceedings.mlr.press/v155/chen21e.html},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/corl/0001RFAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SibaiMFM20,
author = {Hussein Sibai and
Navid Mokhlesi and
Chuchu Fan and
Sayan Mitra},
editor = {Armin Biere and
David Parker},
title = {Multi-agent Safety Verification Using Symmetry Transformations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12078},
pages = {173--190},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45190-5\_10},
doi = {10.1007/978-3-030-45190-5\_10},
timestamp = {Fri, 14 May 2021 08:34:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SibaiMFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-00279,
author = {Chuchu Fan and
Xin Qin and
Jyotirmoy V. Deshmukh},
title = {Parameter Searching and Partition with Probabilistic Coverage Guarantees},
journal = {CoRR},
volume = {abs/2004.00279},
year = {2020},
url = {https://arxiv.org/abs/2004.00279},
eprinttype = {arXiv},
eprint = {2004.00279},
timestamp = {Wed, 08 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-00279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03590,
author = {Yuxiao Chen and
Ugo Rosolia and
Chuchu Fan and
Aaron D. Ames and
Richard M. Murray},
title = {Reactive motion planning with probabilistic safety guarantees},
journal = {CoRR},
volume = {abs/2011.03590},
year = {2020},
url = {https://arxiv.org/abs/2011.03590},
eprinttype = {arXiv},
eprint = {2011.03590},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03590.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-12569,
author = {Dawei Sun and
Susmit Jha and
Chuchu Fan},
title = {Learning Certified Control using Contraction Metric},
journal = {CoRR},
volume = {abs/2011.12569},
year = {2020},
url = {https://arxiv.org/abs/2011.12569},
eprinttype = {arXiv},
eprint = {2011.12569},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-12569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09052,
author = {Jingkai Chen and
Jiaoyang Li and
Chuchu Fan and
Brian Charles Williams},
title = {Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics
and Bounded Disturbances},
journal = {CoRR},
volume = {abs/2012.09052},
year = {2020},
url = {https://arxiv.org/abs/2012.09052},
eprinttype = {arXiv},
eprint = {2012.09052},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Fan19a,
author = {Chuchu Fan},
title = {Formal methods for safe autonomy: Data-driven verification, synthesis,
and applications},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2019},
url = {https://hdl.handle.net/2142/106202},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Fan19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/naacl/NingHFR19,
author = {Qiang Ning and
Hangfeng He and
Chuchu Fan and
Dan Roth},
editor = {Jill Burstein and
Christy Doran and
Thamar Solorio},
title = {Partial Or Complete, That's The Question},
booktitle = {Proceedings of the 2019 Conference of the North American Chapter of
the Association for Computational Linguistics: Human Language Technologies,
{NAACL-HLT} 2019, Minneapolis, MN, USA, June 2-7, 2019, Volume 1 (Long
and Short Papers)},
pages = {2190--2200},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/n19-1227},
doi = {10.18653/V1/N19-1227},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/naacl/NingHFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04937,
author = {Qiang Ning and
Hangfeng He and
Chuchu Fan and
Dan Roth},
title = {Partial Or Complete, That's The Question},
journal = {CoRR},
volume = {abs/1906.04937},
year = {2019},
url = {http://arxiv.org/abs/1906.04937},
eprinttype = {arXiv},
eprint = {1906.04937},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00608,
author = {Hussein Sibai and
Navid Mokhlesi and
Chuchu Fan and
Sayan Mitra},
title = {Multi-Agent Safety Verification using Symmetry Transformations},
journal = {CoRR},
volume = {abs/1911.00608},
year = {2019},
url = {http://arxiv.org/abs/1911.00608},
eprinttype = {arXiv},
eprint = {1911.00608},
timestamp = {Mon, 11 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/FanQM18,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra},
title = {Data-Driven Formal Reasoning and Their Applications in Safety Analysis
of Vehicle Autonomy Features},
journal = {{IEEE} Des. Test},
volume = {35},
number = {3},
pages = {31--38},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2018.2799804},
doi = {10.1109/MDAT.2018.2799804},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/FanQM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FanKJM18,
author = {Chuchu Fan and
James Kapinski and
Xiaoqing Jin and
Sayan Mitra},
title = {Simulation-Driven Reachability Using Matrix Measures},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {1},
pages = {21:1--21:28},
year = {2018},
url = {https://doi.org/10.1145/3126685},
doi = {10.1145/3126685},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/FanKJM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/AlthoffB0FFFKLM18,
author = {Matthias Althoff and
Stanley Bak and
Xin Chen and
Chuchu Fan and
Marcelo Forets and
Goran Frehse and
Niklas Kochdumper and
Yangge Li and
Sayan Mitra and
Rajarshi Ray and
Christian Schilling and
Stefan Schupp},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
Linear Continuous Dynamics},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {23--52},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/73mb},
doi = {10.29007/73MB},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/ImmlerA0FFKLMTZ18,
author = {Fabian Immler and
Matthias Althoff and
Xin Chen and
Chuchu Fan and
Goran Frehse and
Niklas Kochdumper and
Yangge Li and
Sayan Mitra and
Mahendra Singh Tomar and
Majid Zamani},
editor = {Goran Frehse and
Matthias Althoff and
Sergiy Bogomolov and
Taylor T. Johnson},
title = {{ARCH-COMP18} Category Report: Continuous and Hybrid Systems with
Nonlinear Dynamics},
booktitle = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
series = {EPiC Series in Computing},
volume = {54},
pages = {53--70},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/mskf},
doi = {10.29007/MSKF},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/ImmlerA0FFKLMTZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FanM0BM018,
author = {Chuchu Fan and
Yu Meng and
J{\"{u}}rgen Maier and
Ezio Bartocci and
Sayan Mitra and
Ulrich Schmid},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2018, Oxford, UK, July 11-13, 2018},
series = {IFAC-PapersOnLine},
volume = {51},
number = {16},
pages = {241--246},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.041},
doi = {10.1016/J.IFACOL.2018.08.041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/adhs/FanM0BM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FanMM018,
author = {Chuchu Fan and
Umang Mathur and
Sayan Mitra and
Mahesh Viswanathan},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Controller Synthesis Made Real: Reach-Avoid Specifications and Linear
Dynamics},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {347--366},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_19},
doi = {10.1007/978-3-319-96145-3\_19},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/FanMM018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FanHM18,
author = {Chuchu Fan and
Zhenqi Huang and
Sayan Mitra},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {Approximate Partial Order Reduction},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {588--607},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_35},
doi = {10.1007/978-3-319-95582-7\_35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FanHM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/QiFJM18,
author = {Bolun Qi and
Chuchu Fan and
Minghao Jiang and
Sayan Mitra},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {DryVR 2.0: {A} tool for verification and controller synthesis of black-box
cyber-physical systems},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {269--270},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3187008},
doi = {10.1145/3178126.3187008},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/QiFJM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/starsem/NingYFR18,
author = {Qiang Ning and
Zhongzhi Yu and
Chuchu Fan and
Dan Roth},
editor = {Malvina Nissim and
Jonathan Berant and
Alessandro Lenci},
title = {Exploiting Partially Annotated Data in Temporal Relation Extraction},
booktitle = {Proceedings of the Seventh Joint Conference on Lexical and Computational
Semantics, *SEM@NAACL-HLT 2018, New Orleans, Louisiana, USA, June
5-6, 2018},
pages = {148--153},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://doi.org/10.18653/v1/s18-2018},
doi = {10.18653/V1/S18-2018},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/starsem/NingYFR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02975,
author = {Chuchu Fan and
Yu Meng and
J{\"{u}}rgen Maier and
Ezio Bartocci and
Sayan Mitra and
Ulrich Schmid},
title = {Verifying nonlinear analog and mixed-signal circuits with inputs},
journal = {CoRR},
volume = {abs/1803.02975},
year = {2018},
url = {http://arxiv.org/abs/1803.02975},
eprinttype = {arXiv},
eprint = {1803.02975},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08420,
author = {Qiang Ning and
Zhongzhi Yu and
Chuchu Fan and
Dan Roth},
title = {Exploiting Partially Annotated Data for Temporal Relation Extraction},
journal = {CoRR},
volume = {abs/1804.08420},
year = {2018},
url = {http://arxiv.org/abs/1804.08420},
eprinttype = {arXiv},
eprint = {1804.08420},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FanQM017,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra and
Mahesh Viswanathan},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {DryVR: Data-Driven Verification and Compositional Reasoning for Automotive
Systems},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {441--461},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_22},
doi = {10.1007/978-3-319-63387-9\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FanQM017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FanQM017,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra and
Mahesh Viswanathan},
title = {{DRYVR:} Data-driven verification and compositional reasoning for
automotive systems},
journal = {CoRR},
volume = {abs/1702.06902},
year = {2017},
url = {http://arxiv.org/abs/1702.06902},
eprinttype = {arXiv},
eprint = {1702.06902},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FanQM017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FanQM17,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra},
title = {Road to safe autonomy with data and formal reasoning},
journal = {CoRR},
volume = {abs/1704.06406},
year = {2017},
url = {http://arxiv.org/abs/1704.06406},
eprinttype = {arXiv},
eprint = {1704.06406},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FanQM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcca/DuggiralaFPQM0B16,
author = {Parasara Sridhar Duggirala and
Chuchu Fan and
Matthew Potok and
Bolun Qi and
Sayan Mitra and
Mahesh Viswanathan and
Stanley Bak and
Sergiy Bogomolov and
Taylor T. Johnson and
Luan Viet Nguyen and
Christian Schilling and
Andrew Sogokon and
Hoang{-}Dung Tran and
Weiming Xiang},
title = {Tutorial: Software tools for hybrid systems verification, transformation,
and synthesis: C2E2, HyST, and TuLiP},
booktitle = {2016 {IEEE} Conference on Control Applications, {CCA} 2016, Buenos
Aires, Argentina, September 19-22, 2016},
pages = {1024--1029},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/CCA.2016.7587948},
doi = {10.1109/CCA.2016.7587948},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEcca/DuggiralaFPQM0B16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FanQM0D16,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra and
Mahesh Viswanathan and
Parasara Sridhar Duggirala},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Automatic Reachability Analysis for Nonlinear Hybrid Models with {C2E2}},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {531--538},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_29},
doi = {10.1007/978-3-319-41528-4\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FanQM0D16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FanKJM16,
author = {Chuchu Fan and
James Kapinski and
Xiaoqing Jin and
Sayan Mitra},
editor = {Petru Eles and
Rahul Mangharam},
title = {Locally optimal reach set over-approximation for nonlinear systems},
booktitle = {2016 International Conference on Embedded Software, {EMSOFT} 2016,
Pittsburgh, Pennsylvania, USA, October 1-7, 2016},
pages = {6:1--6:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2968478.2968482},
doi = {10.1145/2968478.2968482},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/FanKJM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/HuangFMMK15,
author = {Zhenqi Huang and
Chuchu Fan and
Alexandru Mereacre and
Sayan Mitra and
Marta Z. Kwiatkowska},
title = {Simulation-Based Verification of Cardiac Pacemakers With Guaranteed
Coverage},
journal = {{IEEE} Des. Test},
volume = {32},
number = {5},
pages = {27--34},
year = {2015},
url = {https://doi.org/10.1109/MDAT.2015.2448543},
doi = {10.1109/MDAT.2015.2448543},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/HuangFMMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FanM15,
author = {Chuchu Fan and
Sayan Mitra},
editor = {Bernd Finkbeiner and
Geguang Pu and
Lijun Zhang},
title = {Bounded Verification with On-the-Fly Discrepancy Computation},
booktitle = {Automated Technology for Verification and Analysis - 13th International
Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9364},
pages = {446--463},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24953-7\_32},
doi = {10.1007/978-3-319-24953-7\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/FanM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DuggiralaFM015,
author = {Parasara Sridhar Duggirala and
Chuchu Fan and
Sayan Mitra and
Mahesh Viswanathan},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Meeting a Powertrain Verification Challenge},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {536--543},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_37},
doi = {10.1007/978-3-319-21690-4\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DuggiralaFM015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FanDM015,
author = {Chuchu Fan and
Parasara Sridhar Duggirala and
Sayan Mitra and
Mahesh Viswanathan},
editor = {Goran Frehse and
Matthias Althoff},
title = {Progress on Powertrain Verification Challenge with {C2E2}},
booktitle = {1st and 2nd International Workshop on Applied veRification for Continuous
and Hybrid Systems, ARCH@CPSWeek 2014, Berlin, Germany, April 14,
2014 / ARCH@CPSWeek 2015, Seattle, WA, USA, April 13, 2015},
series = {EPiC Series in Computing},
volume = {34},
pages = {207--212},
publisher = {EasyChair},
year = {2015},
url = {https://doi.org/10.29007/1kq2},
doi = {10.29007/1KQ2},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/FanDM015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/IslamDFGMS15,
author = {Md. Ariful Islam and
Richard DeFrancisco and
Chuchu Fan and
Radu Grosu and
Sayan Mitra and
Scott A. Smolka},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Model Checking Tap Withdrawal in C. Elegans},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {195--210},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_11},
doi = {10.1007/978-3-319-26916-0\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/IslamDFGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FanM15,
author = {Chuchu Fan and
Sayan Mitra},
title = {Bounded Verification with On-the-Fly Discrepancy Computation},
journal = {CoRR},
volume = {abs/1502.01801},
year = {2015},
url = {http://arxiv.org/abs/1502.01801},
eprinttype = {arXiv},
eprint = {1502.01801},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FanM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IslamDFGMS15,
author = {Md. Ariful Islam and
Richard DeFrancisco and
Chuchu Fan and
Radu Grosu and
Sayan Mitra and
Scott A. Smolka},
title = {Model Checking Tap Withdrawal in C. Elegans},
journal = {CoRR},
volume = {abs/1503.06480},
year = {2015},
url = {http://arxiv.org/abs/1503.06480},
eprinttype = {arXiv},
eprint = {1503.06480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IslamDFGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HuangFMMK14,
author = {Zhenqi Huang and
Chuchu Fan and
Alexandru Mereacre and
Sayan Mitra and
Marta Z. Kwiatkowska},
editor = {Armin Biere and
Roderick Bloem},
title = {Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac
Cells},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {373--390},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_25},
doi = {10.1007/978-3-319-08867-9\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HuangFMMK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spl/NingCYFLW13,
author = {Qiang Ning and
Kan Chen and
Li Yi and
Chuchu Fan and
Yao Lu and
Jiangtao Wen},
title = {Image Super-Resolution Via Analysis Sparse Prior},
journal = {{IEEE} Signal Process. Lett.},
volume = {20},
number = {4},
pages = {399--402},
year = {2013},
url = {https://doi.org/10.1109/LSP.2013.2242198},
doi = {10.1109/LSP.2013.2242198},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spl/NingCYFLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-26 01:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
