Formal Assurance for Cooperative Intelligent Autonomous Agents. - Siddhartha Bhattacharyya; Thomas C. Eskridge; Natasha A. Neogi; Marco M. Carvalho; Milton Stafford (NFM, 2018)

Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms. - Milton Stafford; Siddhartha Bhattacharyya; Matthew Clark; Natasha A. Neogi (SysCon, 2020)

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)