Milton Stafford

According to our database, Milton Stafford authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.

Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi, Thomas C. Eskridge

IEEE Syst. J., 2021

2020

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.

Milton Stafford, Siddhartha Bhattacharyya, Matthew Clark, Natasha A. Neogi

Proceedings of the IEEE International Systems Conference, 2020

2018

Formal Assurance for Cooperative Intelligent Autonomous Agents.

Siddhartha Bhattacharyya, Thomas C. Eskridge, Natasha A. Neogi, Marco M. Carvalho, Milton Stafford

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018