Verifying Aircraft Collision Avoidance Neural Networks Through Linear Approximations of Safe Regions
arXiv: 1903.00762 · Page du résumé · arXiv
Ce qui a changé entre deux versions d'un article. Résultats et chiffres modifiés (avant et après), conclusions, méthode, données, erreurs corrigées, ou seulement la rédaction, et si les résultats principaux ont changé. Et un email quand un article que vous suivez a une nouvelle version.