1. Defense Advanced Research Projects Agency (DARPA). 2020. Towards Assuredly Safer Autonomous Systems: Assured Autonomy researchers develop formal safety assurances for autonomous systems. https://www.darpa.mil/news-events/2020-01-29 Defense Advanced Research Projects Agency (DARPA). 2020. Towards Assuredly Safer Autonomous Systems: Assured Autonomy researchers develop formal safety assurances for autonomous systems. https://www.darpa.mil/news-events/2020-01-29
2. ROS. 2020. ROS website. https://www.ros.org/. ROS. 2020. ROS website. https://www.ros.org/.
3. X-Plane. 2020. X-Plane simulator website. https://www.xplane.com/. X-Plane. 2020. X-Plane simulator website. https://www.xplane.com/.