15 citations · 15 across the 1 of their papers we have counts for
1 paper
Rachel Cleaveland, Stefan Mitsch, André Platzer
The design of aircraft collision avoidance algorithms is a subtle but important challenge that merits the need for provable safety guarantees. Obtaining such guarantees is nontrivi…