Verified hybrid LQ control for autonomous spacecraft rendezvous. - Nicole Chan; Sayan Mitra (CDC, 2017)

Verifying safety of an autonomous spacecraft rendezvous mission. - Nicole Chan; Sayan Mitra (ARCH@CPSWeek, 2017)

CODEV: Automated Model Predictive Control Design and Formal Verification. - Nicole Chan; Sayan Mitra (HSCC, 2018)

Consolidating Orders in a Crowdsourcing Delivery Network. - Daniel Y. Mo; Yue Wang 042; Nicole Chan (IEEM, 2018)

CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). - Nicole Chan; Sayan Mitra (CoRR, 2018)