Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance

2 November 2018

Papers citing "Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance"

4 / 4 papers shown

Title
Anti-collision Technologies for Unmanned Aerial Vehicles: Recent Advances and Future Trends Zhiqing Wei Zeyang Meng Meichen Lai Huici Wu Jiarong Han Z. Feng 29 35 0 27 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 289 9,167 0 06 Jun 2015