( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.

, , , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 122-134. Springer, (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.

Dragos Bratasanu

Pal Dragos

Dragos Saracsan

Dragos Vingarzan

Robert Dragos

 

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

Scalable Inverse Reinforcement Learning via Instructed Feature Construction., и . NeSy@AAAI, том WS-12-11 из AAAI Technical Report, AAAI Press, (2012)Formal Analysis of Neural Network-Based Systems in the Aircraft Domain., , , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 730-740. Springer, (2021)Applying Supervised Learning to Real-World Problems.. AAAI/IAAI, стр. 951. AAAI Press / The MIT Press, (1999)Class Probability Estimation and Cost-Sensitive Classification Decisions.. ECML, том 2430 из Lecture Notes in Computer Science, стр. 270-281. Springer, (2002)Bootstrap Methods for the Cost-Sensitive Evaluation of Classifiers., и . ICML, стр. 583-590. Morgan Kaufmann, (2000)Pruning Adaptive Boosting., и . ICML, стр. 211-218. Morgan Kaufmann, (1997)Guest Editorial: Special issue on robust machine learning., , , , , и . Mach. Learn., 112 (8): 2787-2789 (2023)Reinforcement Learning-Based Air Traffic Deconfliction., , и . CoRR, (2023)Active Cost-Sensitive Learning.. IJCAI, стр. 1622-1613. Professional Book Center, (2005)Embeddings for the Identification of Aircraft Faults (MERIT)., , , , , и . ICPHM, стр. 1-8. IEEE, (2018)