Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)
Contract-Based Byzantine Resilience in Spacecraft Swarms (AIAA 2017-0644)
Resilient Multi-UAV Operation: Key Concepts and Challenges (AIAA 2016-0475)
Resilient Multi-UAV Operation: Key Concepts and Challenges (AIAA 2016-0475)
Toward Development of Resilient Multi-UAV System-of-Systems (AIAA 2016-5414)
Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms (AIAA 2016-0476)
Agent-Based Flexible Design Contracts for Resilient Spacecraft Swarms (AIAA 2016-0476)
System Trade-offs in Multi-UAV Networks (AIAA 2015-4542)
Defining ``Credible Faults'' - A Risk-Based Approach (AIAA 2015-4528)
Resiliency and Affordability Attributes in a System Tradespace (AIAA 2015-4434)
Resiliency and Affordability Tradeoffs Across A System Portfolio (AIAA 2016-5487)