Checking Safe Trajectories of Aircraft Using Hybrid Automata.

talo Romani de Oliveira, Paulo Srgio Cugnasca

Browse the full SAFECOMP paper archive.