Peter Heidlauf

According to our database, Peter Heidlauf authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Space Debris Collision Detection using Reachability.

Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.

Peter Heidlauf, Alexander Collins, Michael Bolender, Stanley Bak

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018