Abstract

International audience; Conflict probes will be important components of air traffic control tools in the next years. They appear in almost every project (CINCAT, ERATO, HIPS, PHARE, and so on). To be useful, they have to fulfill two goals : reliability (they have to detect all conflicts) [...]