Case Studies in Data-Driven Verification of Dynamical Systems

by Kozarev, Alexandar, Topcu, Ufuk, How, Jonathan P, Quindlen, John Francis
Published 2016

Active Sampling-Based Binary Verification of Dynamical Systems

by Quindlen, John F., Topcu, Ufuk, Chowdhary, Girish, How, Jonathan P.
Published 2021

Region-of-convergence estimation for learning-based adaptive controllers

by Topcu, Ufuk, Chowdhary, Girish, Quindlen, John Francis, How, Jonathan P
Published 2018

Closed-Loop Statistical Verification of Stochastic Nonlinear Systems Subject to Parametric Uncertainties

by Quindlen, John F., Topcu, Ufuk, Chowdhary, Girish, How, Jonathan P.
Published 2021