Subanalytic stratifications and bisimulations

SmartATMS : A simulator for air traffic management

Noncooperative conflict resolution 

Conflict resolution in multi-agent hybrid systems

Avoiding saturation by trajectory reparameterization

Hybrid control in air traffic management