Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. - Kwesi J. Rutledge; Sze Zheng Yong; Necmiye Ozay (ADHS, 2018)

Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. - Glen Chou; Yunus Emre Sahin; Liren Yang; Kwesi J. Rutledge; Petter Nilsson; Necmiye Ozay (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Prefix-based Bounded-error Estimation with Intermittent Observations. - Kwesi J. Rutledge; Sze Zheng Yong; Necmiye Ozay (ACC, 2019)

Intention-Aware Supervisory Control with Driving Safety Applications. - Yunus Emre Sahin; Zexiang Liu; Kwesi J. Rutledge; Dimitra Panagou; Sze Zheng Yong; Necmiye Ozay (CCTA, 2019)

Equalized recovery: Weakening invariance for control and estimation: poster abstract. - Kwesi J. Rutledge; Sze Zheng Yong; Necmiye Ozay (HSCC, 2019)

Belief-prefix Control for Autonomously Dodging Switching Disturbances. - Kwesi J. Rutledge; Necmiye Ozay (ECC, 2020)

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. - Antoine Aspeel; Kwesi Rutledge; Raphaël M. Jungers; Benoît Macq; Necmiye Özay (CDC, 2021)

Compositional safety rules for inter-triggering hybrid automata. - Kwesi J. Rutledge; Glen Chou; Necmiye Ozay (HSCC, 2021)

Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization. - Kwesi Rutledge; Necmiye Ozay (HSCC, 2022)

Correct-by-Construction Control Adaptation against Sensing, Model, and Information Uncertainty - Kwesi Rutledge (2022)

Controller Synthesis for Unknown-Mode Linear Systems with an Epistemic variant of LTL. - Kwesi Rutledge; Yuhang Mei; Necmiye Ozay (ACC, 2023)

How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. - Oswin So; Zachary Serlin; Makai Mann; Jake Gonzales; Kwesi Rutledge; Nicholas Roy; Chuchu Fan (ICRA, 2024)