Publications and Awards

Publications

• Kristina Miller, Sayan Mitra, Multi-agent motion planning using differential
  games with lexicographic preferences, Conference on Decision and Control (CDC) 2022
• Kristina Miller, Chuchu Fan, Sayan Mitra, Planning in Dynamic and Partially Unknown Environments, Conference on Analysis and Design of Hybrid Systems (ADHS) 2021
  [pdf][BibTex]
• 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]