Human intention-based collision avoidance for autonomous cars. - Denis Osipychev; Duy Tran; Weihua Sheng; Girish Chowdhary 001 (ACC, 2017)

A collaborative control framework for driver assistance systems. - Duy Tran; Eyosiyas Tadesse; Denis Osipychev; Jianhao Du; Weihua Sheng; Yuge Sun; Heping Chen (ICRA, 2017)

Multi-Agent Planning for Coordinated Robotic Weed Killing. - Wyatt McAllister; Denis Osipychev; Girish Chowdhary 001; Adam Davis (IROS, 2018)

Agbots: Weeding a field with a team of autonomous robots. - Wyatt McAllister; Denis Osipychev; Adam Davis; Girish Chowdhary 001 (Comput. Electron. Agric., 2019)

A Human-Vehicle Collaborative Driving Framework for Driver Assistance. - Duy Tran; Jianhao Du; Weihua Sheng; Denis Osipychev; Yuge Sun; He Bai 001 (IEEE Trans. Intell. Transp. Syst., 2019)

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 (CAV (1), 2020)

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 001 (FM, 2021)

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 (MILCOM, 2022)

TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications. - Deepti Kalasapura; Jinyang Li 004; Shengzhong Liu; Yizhuo Chen; Ruijie Wang 004; Tarek F. Abdelzaher; Matthew Caesar 001; Joydeep Bhattacharyya; Jae Kim; Guijun Wang; Greg Kimberly; Josh D. Eckhardt; et al. (ICCCN, 2023)

Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms. - Enguang Fan; Anfeng Peng; Matthew Caesar 001; Jae Kim; Josh D. Eckhardt; Greg Kimberly; Denis Osipychev (MILCOM, 2023)

Verifying an Aircraft Collision Avoidance Neural Network with Marabou. - Cong Liu; Darren D. Cofer; Denis Osipychev (NFM, 2023)

Reinforcement Learning-Based Air Traffic Deconfliction. - Denis Osipychev; Dragos D. Margineantu; Girish Chowdhary 001 (CoRR, 2023)

Acies-OS: A Content-Centric Platform for Edge AI Twinning and Orchestration. - Jinyang Li 004; Yizhuo Chen; Tomoyoshi Kimura; Tianshi Wang; Ruijie Wang 004; Denizhan Kara; Yigong Hu; Li Wu; Walid A. Hanafy; Abel Souza; Prashant J. Shenoy; Maggie B. Wigness; et al. (ICCCN, 2024)