( en | de | ru )

 

Disambiguierung von "Osipychev, Denis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Analysis of Neural Network-Based Systems in the Aircraft Domain.

, , , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 730-740. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Wladimir Denisow

Jaap Denissen

Natalja Denisjuk

Alexander Arnold Denisiuk

Alfred Denis

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Analysis of Neural Network-Based Systems in the Aircraft Domain., , , , , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 730-740. Springer, (2021)A collaborative control framework for driver assistance systems., , , , , , und . ICRA, Seite 6038-6043. IEEE, (2017)Towards Effective Swarm-Based GPS Spoofing Detection in Disadvantaged Platforms., , , , , , und . MILCOM, Seite 722-728. IEEE, (2023)Multi-Agent Planning for Coordinated Robotic Weed Killing., , , und . IROS, Seite 7955-7960. IEEE, (2018)TwinSync: A Digital Twin Synchronization Protocol for Bandwidth-Limited IoT Applications., , , , , , , , , und 3 andere Autor(en). ICCCN, Seite 1. IEEE, (2023)Verifying an Aircraft Collision Avoidance Neural Network with Marabou., , und . NFM, Volume 13903 von Lecture Notes in Computer Science, Seite 79-85. Springer, (2023)Human intention-based collision avoidance for autonomous cars., , , und . ACC, Seite 2974-2979. IEEE, (2017)Reinforcement Learning-Based Air Traffic Deconfliction., , und . CoRR, (2023)Insights on Using Deep Learning to Spoof Inertial Measurement Units for Stealthy Attacks on UAVs., , , , , , , , und . MILCOM, Seite 1065-1069. IEEE, (2022)Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI., , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 122-134. Springer, (2020)