Habitat: A platform for embodied ai research M Savva, A Kadian, O Maksymets, Y Zhao, E Wijmans, B Jain, J Straub, ... Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2019 | 221 | 2019 |
Embodied question answering in photorealistic environments with point cloud perception E Wijmans, S Datta, O Maksymets, A Das, G Gkioxari, S Lee, I Essa, ... Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019 | 40 | 2019 |
Zhao M Savva, A Kadian, O Maksymets Y., Wijmans, E., Jain, B., Straub, J., Liu, J., Koltun, V., Malik, J …, 2019 | 11 | 2019 |
Objectnav revisited: On evaluation of embodied agents navigating to objects D Batra, A Gokaslan, A Kembhavi, O Maksymets, R Mottaghi, M Savva, ... arXiv preprint arXiv:2006.13171, 2020 | 10 | 2020 |
Integrating Egocentric Localization for More Realistic Point-Goal Navigation Agents S Datta, O Maksymets, J Hoffman, S Lee, D Batra, D Parikh arXiv preprint arXiv:2009.03231, 2020 | 2 | 2020 |
Searching Online Social Networks Using Entity-based Embeddings K Subbian, H Wang, O Maksymets US Patent App. 15/782,475, 2019 | 2 | 2019 |
Program verification: State of the art, problems, and results. I SL Kryvyi, OM Maksymets Cybernetics and Systems Analysis 49 (6), 805-814, 2013 | 2 | 2013 |
Application of minimization algorithm for finite acyclic automata in finding condition’s basis for program invariant search OM Maksymets Proceedings of International Conference on Theoretical and Applied Aspects …, 2011 | 2 | 2011 |
Program invariant generation over polynomial ring using iterative methods SL Kryvyi, OM Maksymets Intern. J.“Information Theories & Applications 20, 113-121, 1993 | 2 | 1993 |
Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens DK Hlomozda, MM Glybovets, OM Maksymets Cybernetics and Systems Analysis 54 (4), 650-661, 2018 | 1 | 2018 |
Верификация программ: состояние, проблемы, экспериментальные результаты. I АН Максимец Проблеми програмування, 2013 | 1 | 2013 |
Upper approximation method for polynomial invariants O Maksymets Theoretical and Applied Aspects of Cybernetics. Proceedings of the 2nd …, 0 | 1 | |
Memory-Augmented Reinforcement Learning for Image-Goal Navigation L Mezghani, S Sukhbaatar, T Lavril, O Maksymets, D Batra, P Bojanowski, ... arXiv preprint arXiv:2101.05181, 2021 | | 2021 |
Search for invariants of UY-programs by an interactive algorithm over completely free data algebras OM Maksymets PROBLEMS IN PROGRAMMING, 2015 | | 2015 |
Algebraic automata analysis methods of procedural programs and reactive systems O Maksymets Taras Shevchenko National University of Kyiv, 2014 | | 2014 |
Разработка и обоснование алгоритмов на основе семантических свойств СЛ Крывый, АН Максимец Проблеми програмування, 151-159, 2014 | | 2014 |
Program Verification: State of the Art, Problems, and Results. II1 SL Kryvyi, OM Maksymets Cybernetics and Systems Analysis 50 (1), 8-16, 2014 | | 2014 |
Program polynomial invariants generation. MOM Kryvyi S.L. Material 11-th International Scientific Conference "AVIA 2013" 1, 14-17, 2013 | | 2013 |
Formal verification methods based on Petri nets. OMM S.L. Kryvyi Materials of 10th International Scientific Conference "Theoretical and …, 2013 | | 2013 |
Software verification applications using machine learning. O Maksymets Materials of the 8th international scientific conference of young scientists …, 2013 | | 2013 |