Foundations of Intelligent Additive Manufacturing. - Kévin Garanger; Eric Feron; Pierre-Loïc Garoche; Julian J. Rimoli; John D. Berrigan; Martha A. Grover; Kerianne Hobbs (CoRR, 2017)

Space Debris Collision Detection using Reachability. - Kerianne Hobbs; Peter Heidlauf; Alexander Collins; Stanley Bak (ARCH@ADHS, 2018)

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. - Stanley Bak; Kerianne Hobbs (ARCH@CPSIoTWeek, 2019)

Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). - Stanley Bak; Kerianne Hobbs (CoRR, 2019)

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. - Stanley Bak; Hoang-Dung Tran; Kerianne Hobbs; Taylor T. Johnson (CAV (1), 2020)

Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. - Kerianne Hobbs (2020)

Comparing the Explainability and Performance of Reinforcement Learning and Genetic Fuzzy Systems for Safe Satellite Docking. - Kyle Dunlap; Kelly Cohen; Kerianne Hobbs (NAFIPS, 2021)

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. - Kerianne Hobbs; Mark Mote; Matthew Abate; Samuel Coogan 001; Eric Feron (CoRR, 2021)

Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics*. - Michael Hibbard; Ufuk Topcu; Kerianne Hobbs (ACC, 2022)

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents. - Nathaniel Hamilton; Kyle Dunlap; Taylor T. Johnson; Kerianne L. Hobbs (CoRR, 2022)

Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System. - Kerianne L. Hobbs; Benjamin K. Heiner; Lillian Busse; Kyle Dunlap; Jonathan C. Rowanhill; Ashlie B. Hocking; Aditya Zutshi 003 (CoRR, 2022)

Space Trusted Autonomy Readiness Levels. - Kerianne L. Hobbs; Joseph B. Lyons; Martin S. Feather; Benjamen P. Bycroft; Sean Phillips; Michelle Simon; Mark Harter; Kenneth Costello; Yuri Gawdiak; Stephen Paine (CoRR, 2022)

Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. - Kyle Dunlap; Michael Hibbard; Mark Mote; Kerianne Hobbs (IEEE Control. Syst. Lett., 2022)

A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. - Umberto J. Ravaioli; Kyle Dunlap; Kerianne Hobbs (ACC, 2023)

Run Time Assurance for Autonomous Spacecraft Inspection. - Kyle Dunlap; David van Wijk; Kerianne L. Hobbs (CoRR, 2023)

Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. - Jonathan C. Rowanhill; Ashlie B. Hocking; Aditya Zutshi 003; Kerianne L. Hobbs (CoRR, 2023)

Deep Reinforcement Learning for Autonomous Spacecraft Inspection using Illumination. - David van Wijk; Kyle Dunlap; Manoranjan Majji; Kerianne L. Hobbs (CoRR, 2023)

Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; Sayan Mitra; John Schierman; Mahesh Viswanathan 001 (CoRR, 2023)

Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control. - Kerianne L. Hobbs; Bernard Li (CoRR, 2023)

Run Time Assured Reinforcement Learning for Safe Satellite Docking. - Kyle Dunlap; Mark Mote; Kaiden Delsing; Kerianne L. Hobbs (J. Aerosp. Inf. Syst., 2023)

Optimal Runtime Assurance via Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; John Schierman; Mahesh Viswanathan 001; Sayan Mitra (ICCPS, 2024)

Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering. - Cassie-Kay McQuinn; Kyle Dunlap; Nathaniel Hamilton; Jabari Wilson; Kerianne L. Hobbs (CoRR, 2024)

Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates. - Arturo de la Barcena; Collin Rhodes; John McCarroll; Marzia Cescon; Kerianne L. Hobbs (CoRR, 2024)

Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions. - Tamás G. Molnár; Suresh K. Kannan; James Cunningham; Kyle Dunlap; Kerianne L. Hobbs; Aaron D. Ames (CoRR, 2024)

Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles. - Kyle Dunlap; Nathaniel Hamilton; Zachary S. Lippay; Matt Shubert; Sean Phillips; Kerianne L. Hobbs (CoRR, 2024)

Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies. - Kyle Dunlap; Nathaniel Hamilton; Francisco Viramontes; Derrek Landauer; Evan Kain; Kerianne L. Hobbs (CoRR, 2024)

Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls. - Nathaniel Hamilton; Kyle Dunlap; Kerianne L. Hobbs (CoRR, 2024)

Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. - Kyle Dunlap; Kochise Bennett; David van Wijk; Nathaniel Hamilton; Kerianne Hobbs (CoRR, 2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Kerianne Hobbs; Milan Ganai; Tobey Shim; Guy Katz; et al. (CoRR, 2024)

Deep Reinforcement Learning for Scalable Multiagent Spacecraft Inspection. - Kyle Dunlap; Nathaniel Hamilton; Kerianne L. Hobbs (CoRR, 2024)

Disturbance-Robust Backup Control Barrier Functions: Safety Under Uncertain Dynamics. - David van Wijk; Samuel Coogan 001; Tamás G. Molnár; Manoranjan Majji; Kerianne L. Hobbs (IEEE Control. Syst. Lett., 2024)

Safe Spacecraft Inspection via Deep Reinforcement Learning and Discrete Control Barrier Functions. - David van Wijk; Kyle Dunlap; Manoranjan Majji; Kerianne Hobbs (J. Aerosp. Inf. Syst., 2024)

Provable observation noise robustness for neural network control systems. - Veena Krish; Andrew Mata; Stanley Bak; Kerianne Hobbs; Amir Rahmati (Res. Dir. Cyber Phys. Syst., 2024)

The Safe Trusted Autonomy for Responsible Space Program. - Kerianne L. Hobbs; Sean Phillips; Michelle Simon; Joseph B. Lyons; Jared Culbertson; Hamilton Scott Clouse; Nathaniel Hamilton; Kyle Dunlap; Zachary S. Lippay; Joshua Aurand; Zachary I. Bell; Taleri Hammack; et al. (CoRR, 2025)

Investigating the Impact of Observation Space Design Choices On Training Reinforcement Learning Solutions for Spacecraft Problems. - Nathaniel Hamilton; Kyle Dunlap; Kerianne L. Hobbs (CoRR, 2025)

Disturbance Observers for Robust Backup Control Barrier Functions. - David van Wijk; Ersin Das; Anil Alan; Samuel Coogan 001; Tamás G. Molnár; Joel W. Burdick; Manoranjan Majji; Kerianne L. Hobbs (CoRR, 2025)