The aviation industry faces various challenges in meeting long-term sustainability goals
amidst surging demand for air travel and growing environmental concerns of the general …

Metrics for human-robot teaming should extend to teams consisting of multiple human and
robotic agents, and to teams working in complex, dynamic work domains. This work …

The constant increase in air traffic demand increases a probability of the separation minima
infringements in certain areas as a consequence of increased traffic density. The Annual …

This paper presents a three-phase computational methodology for making informed design
decisions when determining the allocation of work and the interaction modes for human …

In the future, low-altitude, shorter-range air operations will require support for
interdependent parties, including pilots, fleet operators, and providers of traffic services, to …

This paper describes a sequential bargaining process that provides negotiated,
decentralized aircraft conflict resolution. This process is decentralized in that it allows each …

Human teams collaborate by establishing roles, changing functional authorities, maintaining
team cognition, coordinating, and helping one another close control loops. These complex …

This paper proposes a systematic approach to examine air traffic concepts of operation for
which the degree of innovation includes the potential for novel allocations of authority and …

Formal methods are robust tools and techniques for modeling, specifying, and
mathematically proving properties about (verifying) systems. They are particularly good at …

Designing integrated systems of humans and automation involves envisioning how work will
be performed, how it is affected by technological capabilities, and what will be helpful to …