Ivan Papusha - RankMe

16 papers A* 1C 2Journal 5Unranked 8

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