E-LIB Suche - Ergebnisse für: Papusha, Ivan

1

A Safety Fallback Controller for Improved Collision Avoidan..:

, In: 2023 IEEE International Conference on Assured Autonomy (ICAA),

Genin, Daniel ; Dietrich, Elizabeth ; Kouskoulas, Yanni... - p. 129-136 , 2023

Link: https://doi.org/10.1109/..

2

Compact Midwave Imaging System: Results from an Airborne De..:

Kelly, Michael A. ; Carr, James L. ; Wu, Dong L....
Remote Sensing. 14 (2022) 4 - p. 834 , 2022

Link: https://doi.org/10.3390/..

3

Formal Verification of Neural Network Controllers for Colli..:

, In: Lecture Notes in Computer Science; Software Verification,

Genin, Daniel ; Papusha, Ivan ; Brulé, Joshua... - p. 147-164 , 2022

Link: https://doi.org/10.1007/..

4

Envelopes and waves: safe multivehicle collision avoidance ..:

Kouskoulas, Yanni ; Machado, T. J. ; Genin, Daniel...
International Journal on Software Tools for Technology Transfer. 24 (2022) 3 - p. 371-394 , 2022

Link: https://doi.org/10.1007/..

5

Sampling-based Approximate Optimal Control Under Temporal L..:

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

Fu, Jie ; Papusha, Ivan ; Topcu, Ufuk - p. 227-235 , 2017

Link: https://dl.acm.org/doi/1..

6

Envelopes and Waves: Safe Multivehicle Collision Avoidance ..:

Kouskoulas, Yanni ; Machado, T. J ; Genin, Daniel...
http://arxiv.org/abs/2205.04833. , 2022

Link: http://arxiv.org/abs/220..

7

Incorrect by Construction: Fine Tuning Neural Networks for ..:

Papusha, Ivan ; Wu, Rosa ; Brulé, Joshua...
http://arxiv.org/abs/2008.01204. , 2020

Link: http://arxiv.org/abs/200..

8

Affine Multiplexing Networks: System Analysis, Learning, an..:

Papusha, Ivan ; Topcu, Ufuk ; Carr, Steven.
http://arxiv.org/abs/1805.00164. , 2018

Link: http://arxiv.org/abs/180..

9

Sequential Convex Programming for the Efficient Verificatio..:

Cubuktepe, Murat ; Jansen, Nils ; Junges, Sebastian...
http://arxiv.org/abs/1702.00063. , 2017

Link: http://arxiv.org/abs/170..

10

Analysis of Control Systems on Symmetric Cones:

Papusha, Ivan ; Murray, Richard M
https://doi.org/10.1109/CDC.2015.7402836. , 2015

Link: https://doi.org/10.1109/..

11

Domain Decomposition for Stochastic Optimal Control:

Horowitz, Matanya B ; Papusha, Ivan ; Burdick, Joel W
http://arxiv.org/abs/1409.5986. , 2014

Link: http://arxiv.org/abs/140..

12

Compact Midwave Imaging System: Results from an Airborne De..:

Michael A. Kelly ; James L. Carr ; Dong L. Wu...
https://www.mdpi.com/2072-4292/14/4/834. , 2022

Link: https://doi.org/10.3390/..

13

Compact Midwave Imaging System: Results from an Airborne De..:

Michael A. Kelly ; James L. Carr ; Dong L. Wu...
Atmospheric Remote Sensing. , 2022

Link: https://doi.org/10.3390/..