Ivan Papusha
Title
Cited by
Cited by
Year
Sequential convex programming for the efficient verification of parametric MDPs
M Cubuktepe, N Jansen, S Junges, JP Katoen, I Papusha, HA Poonawala, ...
International Conference on Tools and Algorithms for the Construction andá…, 2017
272017
Learning from demonstrations with high-level side information
M Wen, I Papusha, U Topcu
Proceedings of the Twenty-Sixth International Joint Conference on Artificialá…, 2017
232017
Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints
I Papusha, J Fu, U Topcu, RM Murray
2016 IEEE 55th Conference on Decision and Control (CDC), 434-440, 2016
192016
Collaborative system identification via parameter consensus
I Papusha, E Lavretsky, RM Murray
2014 American Control Conference, 13-19, 2014
142014
Constrained autonomous satellite docking via differential flatness and model predictive control
SS Farahani, I Papusha, C McGhan, RM Murray
2016 IEEE 55th Conference on Decision and Control (CDC), 3306-3311, 2016
132016
Sampling-based approximate optimal control under temporal logic constraints
J Fu, I Papusha, U Topcu
Proceedings of the 20th International Conference on Hybrid Systemsá…, 2017
92017
Domain decomposition for stochastic optimal control
MB Horowitz, I Papusha, JW Burdick
53rd IEEE Conference on Decision and Control, 1866-1873, 2014
62014
Analysis of control systems on symmetric cones
I Papusha, RM Murray
2015 54th IEEE Conference on Decision and Control (CDC), 3971-3976, 2015
32015
Fast Automatic Background Extraction via Robust PCA
I Papusha
Published on: Jun 6, 2011
32011
Inverse optimal control with regular language specifications
I Papusha, M Wen, U Topcu
2018 Annual American Control Conference (ACC), 770-777, 2018
22018
A Small Satellite Constellation of Compact, Multi-angle, Multi-Spectral Imagers for Global Observation of the Planetary Boundary Layer
MA Kelly, AC Goldberg, DL Wu, JL Carr, J Boldt, I Papusha, CA Clayson
AGU Fall Meeting 2020, 2020
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, A Schmidt
arXiv preprint arXiv:2008.01204, 2020
2020
Withdrawn: Initial Results from Airborne Tests of the Compact Midwave Imaging System
MA Kelly, DL Wu, JD Boldt, AC Goldberg, I Papusha, JL Carr, ...
100th American Meteorological Society Annual Meeting, 2020
2020
First airborne observations of the Planetary Boundary Layer by the Compact Midwave Imaging System
MA Kelly, DL Wu, JH Yee, J Boldt, AC Goldberg, I Papusha, R Demajistre, ...
AGU Fall Meeting Abstracts 2019, A11T-2825, 2019
2019
A Stereo Approach to High-Resolution Observations of the Planetary Boundary Layer
MA Kelly, DL Wu, JD Boldt, JP Wilson, I Papusha, AC Goldberg, F Morgan, ...
99th American Meteorological Society Annual Meeting, 2019
2019
A Passive Contribution to a Future Global Wind Monitoring Capability
MA Kelly, DL Wu, JL Carr, JP Wilson, I Papusha, JD Boldt, JH Yee
99th American Meteorological Society Annual Meeting, 2019
2019
Compact Midwave Imaging System (CMIS) for retrieval of cloud motion vectors (CMVs) and cloud geometric heights (CGHs)
MA Kelly, D Wu, A Goldberg, I Papusha, J Wilson, J Carr, J Boldt, ...
Remote Sensing of the Atmosphere, Clouds, and Precipitation VII 10776, 107760D, 2018
2018
Compact Mid-Wave Imaging System (CMIS) for Retrieval of Cloud Motion Vectors and Cloud Geometric Heights
MA Kelly, D Wu, A Goldberg, I Papusha, J Wilson, J Carr, J Boldt, ...
2018
Affine Multiplexing Networks: System Analysis, Learning, and Computation
I Papusha, U Topcu, S Carr, N Lauffer
arXiv preprint arXiv:1805.00164, 2018
2018
Robustness, Adaptation, and Learning in Optimal Control
II Papusha
California Institute of Technology, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20