Researcher from Carnegie Mellon University Publishes New Studies and Findings in the Area of Embedded Computing Systems (Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X)

Press/Media: Research

Period	Nov 11 2022

Media coverage

Title	Researcher from Carnegie Mellon University Publishes New Studies and Findings in the Area of Embedded Computing Systems (Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X)
Media name/outlet	Computer News Today
Country/Territory	United States
Date	11/11/22
URL	metabase.moreover.com/noarticleurl?type=psh&lni=66V6-2XR1-JBSP-131K-00000-00
Persons	Stefan Mitsch