2 1/2D conflict resolution maneuvers for ATMS

Decentralized ATMS : Performance and robustness

A new class of decidable hybrid systems

Hybrid systems with finite bisimulations