Ivan Papusha
Ivan Papusha
Subgradient, Inc., California Institute of Technology
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
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
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
Collaborative system identification via parameter consensus
I Papusha, E Lavretsky, RM Murray
2014 American Control Conference, 13-19, 2014
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
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
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
Inverse optimal control with regular language specifications
I Papusha, M Wen, U Topcu
2018 Annual American Control Conference (ACC), 770-777, 2018
Domain decomposition for stochastic optimal control
MB Horowitz, I Papusha, JW Burdick
53rd IEEE Conference on Decision and Control, 1866-1873, 2014
Analysis of control systems on symmetric cones
I Papusha, RM Murray
2015 54th IEEE Conference on Decision and Control (CDC), 3971-3976, 2015
Fast Automatic Background Extraction via Robust PCA
I Papusha
Published on: Jun 6, 2011
Compact Midwave Imaging System: Results from an Airborne Demonstration
MA Kelly, JL Carr, DL Wu, AC Goldberg, I Papusha, RT Meinhold
Remote Sensing 14 (4), 834, 2022
Formal verification of neural network controllers for collision-free flight
D Genin, I Papusha, J Brulé, T Young, G Mullins, Y Kouskoulas, R Wu, ...
International Workshop on Numerical Software Verification, 147-164, 2021
A Safety Fallback Controller for Improved Collision Avoidance
D Genin, E Dietrich, Y Kouskoulas, A Schmidt, M Kobilarov, K Katyal, ...
2023 IEEE International Conference on Assured Autonomy (ICAA), 129-136, 2023
Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns
Y Kouskoulas, TJ Machado, D Genin, A Schmidt, I Papusha, J Brulé
International Journal on Software Tools for Technology Transfer 24 (3), 371-394, 2022
Continuum: A New Observing Strategies-Based Framework for Hyper-Local Situational Awareness
M Haque, D Rollend, S Withee, G Christie, I Papusha, R Nikoukar, ...
AGU Fall Meeting Abstracts 2020, IN019-10, 2020
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, 9-18, 2018
Hough Transform for Directional Orientation
I Papusha, M Ho
Initial Results from the Compact Midwave Imaging System (CMIS) Airborne Test Campaign
M Kelly, J Carr, D Wu, I Papusha, A Goldberg, J Boldt, B Harden, ...
AGU Fall Meeting Abstracts 2021, A12B-11, 2021
Airborne Test Campaign of the Compact Midwave Imaging System
MA Kelly, I Papusha, A Goldberg, J Boldt, B Harden, J Greenberg, DL Wu, ...
101st American Meteorological Society Annual Meeting, 2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20