Ivan Papusha

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 14

Top Topics

Convex Programming

Collision Avoidance

Optimal Control

Top Venues

Publications

Daniel Genin, Elizabeth Dietrich, Yanni Kouskoulas, Aurora C. Schmidt, Marin Kobilarov, Kapil D. Katyal, Shahriar Sefati, Subhransu Mishra, Ivan Papusha
A Safety Fallback Controller for Improved Collision Avoidance. ICAA (2023)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Yanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé
Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns. CoRR (2022)
Michael A. Kelly, James L. Carr, Dong L. Wu, Arnold C. Goldberg, Ivan Papusha, Renee T. Meinhold
Compact Midwave Imaging System: Results from an Airborne Demonstration. Remote. Sens. 14 (4) (2022)
Daniel Genin, Ivan Papusha, Joshua Brulé, Tyler Young, Galen E. Mullins, Yanni Kouskoulas, Rosa Wu, Aurora C. Schmidt
Formal Verification of Neural Network Controllers for Collision-Free Flight. VSTTE (2021)
Ivan Papusha, Rosa Wu, Joshua Brulé, Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples. CoRR (2020)
Ivan Papusha, Min Wen, Ufuk Topcu
Inverse Optimal Control with Regular Language Specifications. ACC (2018)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) (2017)
Min Wen, Ivan Papusha, Ufuk Topcu
Learning from Demonstrations with High-Level Side Information. IJCAI (2017)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR (2017)
Jie Fu, Ivan Papusha, Ufuk Topcu
Sampling-based Approximate Optimal Control Under Temporal Logic Constraints. HSCC (2017)
Samira S. Farahani, Ivan Papusha, Catharine McGhan, Richard M. Murray
Constrained autonomous satellite docking via differential flatness and model predictive control. CDC (2016)
Ivan Papusha, Jie Fu, Ufuk Topcu, Richard M. Murray
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints. CDC (2016)
Ivan Papusha, Richard M. Murray
Analysis of control systems on symmetric cones. CDC (2015)
Ivan Papusha, Eugene Lavretsky, Richard M. Murray
Collaborative system identification via parameter consensus. ACC (2014)
Matanya B. Horowitz, Ivan Papusha, Joel W. Burdick
Domain decomposition for stochastic optimal control. CDC (2014)