Kerianne Hobbs

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 16

Top Topics

Reinforcement Learning

Online Training

Adaptive Systems

Deformable Objects

Top Venues

IEEE Control. Syst. Lett.

Publications

Kyle Dunlap, Kochise Bennett, David van Wijk, Nathaniel Hamilton, Kerianne Hobbs
Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. CoRR (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra
Optimal Runtime Assurance via Reinforcement Learning. ICCPS (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, Sayan Mitra, John Schierman, Mahesh Viswanathan
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. CoRR (2023)
Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. ACC (2023)
Umberto Ravaioli, Kyle Dunlap, Kerianne Hobbs
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. CoRR (2022)
Michael Hibbard, Ufuk Topcu, Kerianne Hobbs
. ACC (2022)
Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. IEEE Control. Syst. Lett. 6 (2022)
Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. CoRR (2021)
Kerianne Hobbs, Mark Mote, Matthew Abate, Samuel Coogan, Eric Feron
Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems. CoRR (2021)
Kyle Dunlap, Kelly Cohen, Kerianne Hobbs
Comparing the Explainability and Performance of Reinforcement Learning and Genetic Fuzzy Systems for Safe Satellite Docking. NAFIPS (2021)
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) (2020)
Stanley Bak, Kerianne Hobbs
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ARCH@CPSIoTWeek (2019)
Stanley Bak, Kerianne Hobbs
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). CoRR (2019)
Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak
Space Debris Collision Detection using Reachability. ARCH@ADHS (2018)
Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs
Foundations of Intelligent Additive Manufacturing. CoRR (2017)