Chuchu Fan

Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold

Oswin So, Andrew Clark, Chuchu Fan, 2023, 2312.02430.

Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems?

Yang Zhang, Jacob Arkin, Yongchao Chen, 2023, ArXiv.

Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools

Yongchao Chen, Chuchu Fan, Yilun Hao, 2024, ArXiv.