![](/img/cover-not-exists.png)
[IEEE 2020 IEEE International Systems Conference (SysCon) - Montreal, QC (2020.8.24-2020.9.20)] 2020 IEEE International Systems Conference (SysCon) - Formal Validation of Emergent Behavior in a Machine Learning Based Collision Avoidance System
Raman, Ramakrishnan, Jeppu, YoganandaYear:
2020
DOI:
10.1109/syscon47679.2020.9275870
File:
PDF, 347 KB
2020