( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples.

, , , , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Oxana Ivanova-Chessex

Natalie Ivanits

Marian Ivanov

Tetyana Ivanovska

Max Ivanovits

 

Другие публикации лиц с тем же именем

Learning from Demonstrations with High-Level Side Information., , и . IJCAI, стр. 3055-3061. ijcai.org, (2017)Compact Midwave Imaging System: Results from an Airborne Demonstration., , , , , и . Remote. Sens., 14 (4): 834 (2022)Constrained autonomous satellite docking via differential flatness and model predictive control., , , и . CDC, стр. 3306-3311. IEEE, (2016)Collaborative system identification via parameter consensus., , и . ACC, стр. 13-19. IEEE, (2014)Formal Verification of Neural Network Controllers for Collision-Free Flight., , , , , , , и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 147-164. Springer, (2021)Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints., , , и . CDC, стр. 434-440. IEEE, (2016)Sampling-based Approximate Optimal Control Under Temporal Logic Constraints., , и . HSCC, стр. 227-235. ACM, (2017)Inverse Optimal Control with Regular Language Specifications., , и . ACC, стр. 770-777. IEEE, (2018)Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples., , , , , и . CoRR, (2020)A Safety Fallback Controller for Improved Collision Avoidance., , , , , , , , и . ICAA, стр. 129-136. IEEE, (2023)