Login / Signup
Milton Stafford
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 3
Top Topics
Autonomous Agents
Cooperative
Intelligent Systems
Agent Negotiation
Top Venues
SysCon
IEEE Syst. J.
NFM
</>
Publications
</>
Milton Stafford
,
Siddhartha Bhattacharyya
,
Matthew Clark
,
Natasha A. Neogi
,
Thomas C. Eskridge
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.
IEEE Syst. J.
15 (4) (2021)
Milton Stafford
,
Siddhartha Bhattacharyya
,
Matthew Clark
,
Natasha A. Neogi
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms.
SysCon
(2020)
Siddhartha Bhattacharyya
,
Thomas C. Eskridge
,
Natasha A. Neogi
,
Marco M. Carvalho
,
Milton Stafford
Formal Assurance for Cooperative Intelligent Autonomous Agents.
NFM
(2018)