Agbots: Weeding a field with a team of autonomous robots von McAllister, Wyatt, Osipychev, Denis, Davis, Adam, Chowdhary, Girish

Volltext

A Human-Vehicle Collaborative Driving Framework for Driver Assistance von Tran, Duy, Du, Jianhao, Sheng, Weihua, Osipychev, Denis, Sun, Yuge, Bai, He

Volltext

Verifying an Aircraft Collision Avoidance Neural Network with Marabou von Liu, Cong, Cofer, Darren, Osipychev, Denis

Volltext

COLLISION AVOIDANCE SYSTEM von OSIPYCHEV, Denis

Volltext bestellen

COLLISION AVOIDANCE SYSTEM von Osipychev, Denis

Volltext bestellen

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain von Kouvaros, Panagiotis, Kyono, Trent, Leofante, Francesco, Lomuscio, Alessio, Margineantu, Dragos, Osipychev, Denis, Zheng, Yang

Volltext

Collision Avoidance for Autonomous Cars Based on Human Intention von Osipychev, Denis

Volltext bestellen

Reinforcement Learning-Based Air Traffic Deconfliction von Osipychev, Denis, Margineantu, Dragos, Chowdhary, Girish

Volltext bestellen

REINFORCEMENT LEARNING-BASED MID-AIR COLLISION AVOIDANCE von Margineantu, Dragos D, Osipychev, Denis

Volltext bestellen

Reinforcement Learning-Based Air Traffic Deconfliction von Osipychev, Denis, Margineantu, Dragos, Chowdhary, Girish

Volltext

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI von Fremont, Daniel J, Chiu, Johnathan, Margineantu, Dragos D, Osipychev, Denis, Seshia, Sanjit A

Volltext bestellen

Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI von Fremont, Daniel J, Chiu, Johnathan, Margineantu, Dragos D, Osipychev, Denis, Seshia, Sanjit A

Volltext