Ivan Papusha

According to our database, Ivan Papusha authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Safety Fallback Controller for Improved Collision Avoidance.

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns.

Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé

Int. J. Softw. Tools Technol. Transf., 2022

Compact Midwave Imaging System: Results from an Airborne Demonstration.

Michael A. Kelly, James L. Carr, Dong L. Wu, Arnold C. Goldberg, Ivan Papusha, Renee T. Meinhold

Remote. Sens., 2022

2021

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

Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler A. Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt

Proceedings of the Software Verification - 13th International Conference, 2021

2020

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

Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt

CoRR, 2020

2018

Inverse Optimal Control with Regular Language Specifications.

Ivan Papusha, Min Wen, Ufuk Topcu

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Learning from Demonstrations with High-Level Side Information.

Min Wen, Ivan Papusha, Ufuk Topcu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Sampling-based Approximate Optimal Control Under Temporal Logic Constraints.

Jie Fu, Ivan Papusha, Ufuk Topcu

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints.

Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Constrained autonomous satellite docking via differential flatness and model predictive control.

Samira S. Farahani, Ivan Papusha, Catharine McGhan, Richard M. Murray

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Analysis of control systems on symmetric cones.

Ivan Papusha, Richard M. Murray

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Domain decomposition for stochastic optimal control.

Matanya B. Horowitz, Ivan Papusha, Joel W. Burdick

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Collaborative system identification via parameter consensus.

Ivan Papusha, Eugene Lavretsky, Richard M. Murray

Proceedings of the American Control Conference, 2014