Eric Squires, Pietro Pierpaoli, Magnus Egerstedt. Constructive Barrier Certificates with Applications to Fixed-Wing Aircraft Collision Avoidance. In IEEE Conference on Control Technology and Applications, CCTA 2018, Copenhagen, Denmark, August 21-24, 2018. pages 1656-1661, IEEE, 2018. [doi]
Abstract is missing.