Prof. Peter Seiler co-authored the paper that focuses on reachability analysis for a variety of systems, including aircraft control and autonomous vehicles.