Planning in Dynamic and Partially Unknown Environments by Miller, Kristina, Fan, Chuchu, Mitra, Sayan

Get full text

Reactive and Safe Road User Simulations using Neural Barrier Certificates by Meng, Yue, Qin, Zengyi, Fan, Chuchu

Get full text

Optimal mixed discrete-continuous planning for linear hybrid systems by Chen, Jingkai, Williams, Brian C, Fan, Chuchu

Get full text

Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates by Dawson, Charles, Lowenkamp, Bethany, Goff, Dylan, Fan, Chuchu

Get full text

A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability by Tsukamoto, Hiroyasu, Chung, Soon-Jo, Slotine, Jean-Jacques, Fan, Chuchu

Get full text

Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification by Qin, Xin, Xia, Yuan, Zutshi, Aditya, Fan, Chuchu, Deshmukh, Jyotirmoy

Get full text

Controller synthesis for linear system with reach-avoid specifications by Fan, Chuchu, Qin, Zengyi, Mathur, Umang, Ning, Qiang, Mitra, Sayan, Viswanathan, Mahesh

Get full text

Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances by Chen, Jingkai, Li, Jiaoyang, Fan, Chuchu, Williams, Brian C, Intelligence, Assoc Advancement Artificial

Get full text

Identification of Atomic Propositions in English Instructions for Flexible Translation to Robot Planning Representations by Gandhi, Rujul

Other Authors: “…Fan, Chuchu…”
Get full text

Learning Stabilizing Controllers for High-dimensional Unknown Systems and Networked Dynamical Systems by Zhang, Songyuan

Other Authors: “…Fan, Chuchu…”
Get full text
Get full text

Safe Nonlinear Control Under Control Constraints via Reachability, Optimal Control and Reinforcement Learning by So, Oswin

Other Authors: “…Fan, Chuchu…”
Get full text

Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods by Yu, Mingxin

Other Authors: “…Fan, Chuchu…”
Get full text

Breaking things so you don’t have to: risk assessment and failure prediction for cyber-physical AI by Dawson, Charles Burke

Other Authors: “…Fan, Chuchu…”
Get full text
Get full text

Optimizing Traveling Salesman Problem in Multi-Agent Systems with Practical Constraints by Yang, Ruixiao

Other Authors: “…Fan, Chuchu…”
Get full text