Nicole Chan

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 6

Top Topics

Formal Verification

Unmanned Aerial Vehicles

Predictive Control

Top Venues

Publications

Nicole Chan, Sayan Mitra
CODEV: Automated Model Predictive Control Design and Formal Verification (Tool Paper). CoRR (2018)
Nicole Chan, Sayan Mitra
CODEV: Automated Model Predictive Control Design and Formal Verification. HSCC (2018)
Daniel Y. Mo, Yue Wang, Nicole Chan
Consolidating Orders in a Crowdsourcing Delivery Network. IEEM (2018)
Nicole Chan, Sayan Mitra
Verifying safety of an autonomous spacecraft rendezvous mission. ARCH@CPSWeek (2017)
Nicole Chan, Sayan Mitra
Verifying safety of an autonomous spacecraft rendezvous mission. CoRR (2017)
Nicole Chan, Sayan Mitra
Verified hybrid LQ control for autonomous spacecraft rendezvous. CDC (2017)