Author of the publication

Intelligent Contingency Management for Urban Air Mobility.

, , , , , , , , , , , and . DDDAS, volume 12312 of Lecture Notes in Computer Science, page 22-26. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Modular Methods for Verification and Validation of Air Traffic Control Algorithms., and . Infotech@Aerospace, (2012)Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems., , , , and . IEEE Syst. J., 15 (4): 4852-4863 (2021)Minimum-Violation Traffic Management for Urban Air Mobility., , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 37-52. Springer, (2021)Polynomial-Time Feasibility Condition for Multiclass Aircraft Sequencing on a Single-Runway Airport., and . IEEE Trans. Intell. Transp. Syst., 12 (1): 2-14 (2011)Partitioning and the online-world design problem for multi-player games., and . ACC, page 1697-1702. IEEE, (2008)Assuring Intelligent Systems: Contingency Management for UAS., , , , and . IEEE Trans. Intell. Transp. Syst., 22 (9): 6028-6038 (2021)Intelligent Contingency Management for Urban Air Mobility., , , , , , , , , and 2 other author(s). DDDAS, volume 12312 of Lecture Notes in Computer Science, page 22-26. Springer, (2020)Failure-robust distributed controller architectures., , and . Int. J. Control, 80 (9): 1367-1378 (2007)Formal Assurance for Cooperative Intelligent Autonomous Agents., , , , and . NFM, volume 10811 of Lecture Notes in Computer Science, page 20-36. Springer, (2018)Formal requirement management for the Responsive and Formal Design process., , , , and . ISSE, page 364-369. IEEE, (2015)