Predicting the outcomes of cyber-physical systems with multiple human interactions is a
challenging problem. This article reviews a game theoretical approach to address this issue …

The focus of this paper is to present a game theoretical modeling framework for the
integration of unmanned aircraft systems into the National Airspace System. The problem of …

Abstract The Next-Generation Airborne Collision Avoidance System (ACAS X) is intended to
be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with …

Abstract The Next-Generation Airborne Collision Avoidance System (ACAS X) is intended to
be installed on all large aircraft to give advice to pilots and prevent mid-air collisions with …

Formal verification of industrial systems is very challenging, due to reasons ranging from
scalability issues to communication difficulties with engineering-focused teams. More …

The aircraft collision avoidance problem can be formulated using a decision-theoretic
planning framework where the optimal behavior requires balancing the competing …

Airspace encounter models, which provide realistic close encounter situations
representative of the airspace, are a critical component in the safety assessment of sense …

Several well-known international cooperation programs in the research field of air traffic
management, eg, SESAR and NextGen, aim to overcome the deficiencies of airspace …

Airspace models have played an important role in the development and evaluation of aircraft
collision avoidance systems for both manned and unmanned aircraft. As Urban Air Mobility …

In the United States, general aviation piston-driven aircraft are now the largest source of
lead emitted to the atmosphere. Elevated lead concentrations impair children's IQ and can …