Natasha A. Neogi

Formal Assurance for Cognitive Architecture Based Autonomous Agent

Shankar P. Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, 2017 .

Intelligent Contingency Management for Urban Air Mobility

Patrick C. Murphy, Thomas C. Britton, Michael J. Acheson, 2020, DDDAS.

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems

Thomas C. Eskridge, Siddhartha Bhattacharyya, Matthew Clark, 2020 .

Using Hidden MarkovModels toDetect ModeChanges inAircraft Flight DataforConflict Resolution

Natasha A. Neogi, 2006 .

Small satellite systems design methodology: A formal and agile design process

Heber Herencia-Zapana, William W. Edmonson, Natasha A. Neogi, 2014, 2014 IEEE International Systems Conference Proceedings.

Modular Methods for Verification and Validation of Air Traffic Control Algorithms

Heber Herencia-Zapana, Natasha A. Neogi, N. Neogi, 2012, Infotech@Aerospace.

Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems

Eric Feron, Heber Herencia-Zapana, Romain Jobredeaux, 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).