# Publications

Citations for the references below are available as a single BibTeX file.

## 2021

- Formal Verification of Neural Network Controllers for Collision-Free Flight

D. Genin, I. Papusha, J. Brulé, T. Young, G. Mullins, Y. Kouskoulas, R. Wu, and A. Schmidt - Verification of Safety in Artificial Intelligence and Reinforcement Learning Systems

Y. Kouskoulas, D. Genin, A. Schmidt, I. Papusha, R. Wu, G. Mullins, T. Young, and J. Brulé

## 2020

- Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

I. Papusha, R. Wu, J. Brulé, Y. Kouskoulas, D. Genin, and A. Schmidt

## 2019

- First airborne observations of the Planetary Boundary Layer by the Compact Midwave Imaging System

M. A. Kelly, D. L. Wu, J-H. Yee, J. Boldt, A. C. Goldberg, I. Papusha, R. Demajistre, L. Mehr, J. L. Carr, A. Heidinger, and R. Stoffler

## 2018

- Compact Midwave Imaging System (CMIS) for Retrieval of Cloud Motion Vectors (CMVs) and Cloud Geometric Heights (CGHs)

M. A. Kelly, D. Wu, A. Goldberg, I. Papusha, J. Wilson, J. Carr, J. Boldt, J. Greenberg, F. Morgan, S. Yee, A. Heidinger, and L. Mehr - Affine Multiplexing Networks: System Analysis, Learning, and Computation

I. Papusha, U. Topcu, S. Carr, and N. Lauffer - Inverse Optimal Control with Regular Language Specifications

I. Papusha, M. Wen, and U. Topcu

## 2017

- Learning from Demonstrations with High-Level Side Information

M. Wen, I. Papusha, and U. Topcu - Sequential Convex Programming for the Efficient Verification of Parametric MDPs

M. Cubuktepe, N. Jansen, S. Junges, J.-P. Katoen, I. Papusha, H. A. Poonawala, and U. Topcu - Sampling-based Approximate Optimal Control Under Temporal Logic Constraints

J. Fu, I. Papusha, and U. Topcu.

## 2016

- Automata Theory Meets Approximate Dynamic Programming: Optimal Control with Temporal Logic Constraints

I. Papusha, J. Fu, U. Topcu, and R. M. Murray - Constrained Autonomous Satellite Docking via Differential Flatness and Model Predictive Control

S. S. Farahani, I. Papusha, C. McGhan, and R. M. Murray - Robustness, Adaptation, and Learning in Optimal Control

I. Papusha

## 2015

- Analysis of Control Systems on Symmetric Cones

I. Papusha and R. M. Murray

## 2014

Domain Decomposition for Stochastic Optimal Control

M. B. Horowitz, I. Papusha, and J. W. BurdickCollaborative System Identification via Parameter Consensus

I. Papusha, E. Lavretsky, and R. M. Murray

## Early years

Fast Automatic Background Extraction via Robust PCA

I. PapushaHough Transform for Directional Orientation

I. Papusha and M. Ho

## Selected Talks

- “Affine Multiplexing Networks,”
*Applications of Formal Methods to Control Theory and Dynamical Systems (FoMA Workshop)*, Carnegie Mellon University, June 23, 2018.

- “Automata Theory and Dynamic Programming,”
*SIAM Conference on Applications of Dynamical Systems (DS17)*, Snowbird, UT, May 21, 2017.

- “Toward Learning and Adaptation in Optimization Based Control,”
*Google*, Mountain View, CA, January 12, 2016.

- “Networked Adaptive Systems,”
*GRASP Lab*, University of Pennsylvania, January 17, 2014.