Hybrid model reference adaptive control for unmatched uncertainties. - John F. Quindlen; Girish Chowdhary 001; Jonathan P. How (ACC, 2015)

Region-of-convergence estimation for learning-based adaptive controllers. - John F. Quindlen; Ufuk Topcu; Girish Chowdhary 001; Jonathan P. How (ACC, 2016)

Case Studies in Data-Driven Verification of Dynamical Systems. - Alexandar Kozarev; John F. Quindlen; Jonathan P. How; Ufuk Topcu (HSCC, 2016)

Active Sampling for Constrained Simulation-based Verification of Uncertain Nonlinear Systems. - John F. Quindlen; Ufuk Topcu; Girish Chowdhary 001; Jonathan P. How (CoRR, 2017)

Active Sampling-based Binary Verification of Dynamical Systems. - John F. Quindlen; Ufuk Topcu; Girish Chowdhary 001; Jonathan P. How (CoRR, 2017)

Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties. - John F. Quindlen; Ufuk Topcu; Girish Chowdhary 001; Jonathan P. How (ACC, 2018)

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems. - John F. Quindlen; Ufuk Topcu; Girish Chowdhary 001; Jonathan P. How (ACC, 2018)