Publications and Awards

Publications

  • Kristina Miller, Chuchu Fan, Sayan Mitra, Planning in Dynamic and Partially Unknown Environments, Conference on Analysis and Design of Hybrid Systems (ADHS) 2021
  • Chuchu Fan, Kristina Miller, Sayan Mitra, Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models, Computer-Aided Verification (CAV), 2020
    [link][pdf][slides][BibTex]
  • Chuchu Fan, Kristina Miller, Sayan Mitra, Fast and Guaranteed Safe Controller Synthesis for Aerial Vehicle Models, AIAA Scitech 2021 Forum
    [link][BibTex]
  • Joshua Schiller, et al. Crowd-Sourced Data and Analysis Tools for Advancing the Chemical Vapor Deposition of Graphene: Implications for Manufacturing, ACS Applied Nano Materials 2020
    [link][BibTex]

Workshops 

  • Minghao Jiang, et al. Continuous Integration and testing for Autonomous Racing Software: An Experience Report from GRAIC, OCAR-ICRA 2021
    [link]

Awards

  • CSLSC2021 Best Poster Award, Fast and Guaranteed Safe Controller Synthesis (FACTEST)
    [pdf]