TIRA: toolbox for interval reachability analysis. - Pierre-Jean Meyer; Alex Devonport; Murat Arcak (HSCC, 2019)

Data-Driven Reachable Set Computation using Adaptive Gaussian Process Classification and Monte Carlo Methods. - Alex Devonport; Murat Arcak (ACC, 2020)

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. - Alex Devonport; Mahmoud Khaled; Murat Arcak; Majid Zamani 001 (CAV (1), 2020)

Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels. - Alex Devonport; He Yin; Murat Arcak (CDC, 2020)

Prospective Experiment for Reinforcement Learning on Demand Response in a Social Game Framework. - Lucas Spangher; Akash Gokul; Manan Khattar; Joseph Palakapilly; Akaash Tawade; Adam Bouyamourn; Alex Devonport; Costas J. Spanos (e-Energy, 2020)

Estimating Reachable Sets with Scenario Optimization. - Alex Devonport; Murat Arcak (L4DC, 2020)

Symbolic Abstractions From Data: A PAC Learning Approach. - Alex Devonport; Adnane Saoud; Murat Arcak (CDC, 2021)

Data-Driven Reachability Analysis with Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (CDC, 2021)

Data-driven estimation of forward reachable sets. - Alex Devonport; Murat Arcak (CAADCPS@CPSIoTWeek, 2021)

DaDRA: A Python Library for Data-Driven Reachability Analysis. - Jared Mejia; Alex Devonport; Murat Arcak (CoRR, 2021)

Data-Driven Reachability analysis and Support set Estimation with Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (CoRR, 2021)

Machine Learning for Smart and Energy-Efficient Buildings. - Hari Prasanna Das; Yu-Wen Lin; Utkarsha Agwan; Lucas Spangher; Alex Devonport; Yu Yang 008; Ján Drgona; Adrian Chong; Stefano Schiavon; Costas J. Spanos (CoRR, 2022)

Frequency Domain Gaussian Process Models for H∞ Uncertainties. - Alex Devonport; Peter Seiler 001; Murat Arcak (L4DC, 2023)

Probabilistic Invariance for Gaussian Process State Space Models. - Paul Griffioen; Alex Devonport; Murat Arcak (L4DC, 2023)

Frequency-domain Gaussian Process Models for H∞ Uncertainties. - Alex Devonport; Peter Seiler 001; Murat Arcak (CoRR, 2023)

Contributions to the Statistical Foundation of Data-driven Control - Alex Devonport (2023)

Data-Driven Reachability and Support Estimation With Christoffel Functions. - Alex Devonport; Forest Yang; Laurent El Ghaoui; Murat Arcak (IEEE Trans. Autom. Control., 2023)

Nonconvex scenario optimization for data-driven reachability. - Elizabeth Dietrich; Alex Devonport; Murat Arcak (L4DC, 2024)