Denis Osipychev

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 13

Top Topics

Formal Analysis

Autonomous Robots

Driver Assistance

Top Venues

Comput. Electron. Agric.

Publications

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
TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications. ICCCN (2023)
Cong Liu, Darren D. Cofer, Denis Osipychev
Verifying an Aircraft Collision Avoidance Neural Network with Marabou. NFM (2023)
Denis Osipychev, Dragos D. Margineantu, Girish Chowdhary
Reinforcement Learning-Based Air Traffic Deconfliction. CoRR (2023)
Enguang Fan, Anfeng Peng, Matthew Caesar, Jae Kim, Josh D. Eckhardt, Greg Kimberly, Denis Osipychev
Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms. MILCOM (2023)
Kyo Hyun Kim, Denizkhan Kara, Vineetha Paruchuri, Sibin Mohan, Greg Kimberly, Denis Osipychev, Jae H. Kim, Josh D. Eckhardt, Miroslav Pajic
Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs. MILCOM (2022)
Panagiotis Kouvaros, Trent Kyono, Francesco Leofante, Alessio Lomuscio, Dragos D. Margineantu, Denis Osipychev, Yang Zheng
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain. FM (2021)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR (2020)
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) (2020)
Duy Tran, Jianhao Du, Weihua Sheng, Denis Osipychev, Yuge Sun, He Bai
A Human-Vehicle Collaborative Driving Framework for Driver Assistance. IEEE Trans. Intell. Transp. Syst. 20 (9) (2019)
Wyatt McAllister, Denis Osipychev, Adam Davis, Girish Chowdhary
: Weeding a field with a team of autonomous robots. Comput. Electron. Agric. 163 (2019)
Wyatt McAllister, Denis Osipychev, Girish Chowdhary, Adam Davis
Multi-Agent Planning for Coordinated Robotic Weed Killing. IROS (2018)
Denis Osipychev, Duy Tran, Weihua Sheng, Girish Chowdhary
Human intention-based collision avoidance for autonomous cars. ACC (2017)
Duy Tran, Eyosiyas Tadesse, Denis Osipychev, Jianhao Du, Weihua Sheng, Yuge Sun, Heping Chen
A collaborative control framework for driver assistance systems. ICRA (2017)