Denis Osipychev

According to our database, Denis Osipychev authored at least 12 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reinforcement Learning-Based Air Traffic Deconfliction.

Denis Osipychev, Dragos D. Margineantu, Girish Chowdhary

CoRR, 2023

Verifying an Aircraft Collision Avoidance Neural Network with Marabou.

Cong Liu, Darren D. Cofer, Denis Osipychev

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms.

Enguang Fan, Anfeng Peng, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly, Denis Osipychev

Proceedings of the IEEE Military Communications Conference, 2023

TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications.

Deepti Kalasapura, Jinyang Li, Shengzhong Liu, Yizhuo Chen, Ruijie Wang, Tarek F. Abdelzaher, Matthew Caesar, Joydeep Bhattacharyya, Jae Kim, Guijun Wang, Greg Kimberly, Josh D. Eckhardt, Denis Osipychev

Proceedings of the 32nd International Conference on Computer Communications and Networks, 2023

2022

Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs.

Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic

Proceedings of the IEEE Military Communications Conference, 2022

2021

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.

Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI.

Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

A Human-Vehicle Collaborative Driving Framework for Driver Assistance.

Duy Tran, Jianhao Du, Weihua Sheng, Denis Osipychev, Yuge Sun, He Bai

IEEE Trans. Intell. Transp. Syst., 2019

<i>Agbots</i>: Weeding a field with a team of autonomous robots.

Wyatt McAllister, Denis Osipychev, Adam Davis, Girish Chowdhary

Comput. Electron. Agric., 2019

2018

Multi-Agent Planning for Coordinated Robotic Weed Killing.

Wyatt McAllister, Denis Osipychev, Girish Chowdhary, Adam Davis

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

2017

A collaborative control framework for driver assistance systems.

Duy Tran, Eyosiyas Tadesse, Denis Osipychev, Jianhao Du, Weihua Sheng, Yuge Sun, Heping Chen

Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017

Human intention-based collision avoidance for autonomous cars.

Denis Osipychev, Duy Tran, Weihua Sheng, Girish Chowdhary

Proceedings of the 2017 American Control Conference, 2017