![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Kerianne Hobbs
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c7]Kristina Miller, Christopher K. Zeitler, William Shen, Kerianne Hobbs, John Schierman, Mahesh Viswanathan, Sayan Mitra:
Optimal Runtime Assurance via Reinforcement Learning. ICCPS 2024: 67-76 - [i21]Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton, Jabari Wilson, Kerianne L. Hobbs:
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering. CoRR abs/2402.14723 (2024) - [i20]Arturo de la Barcena, Collin Rhodes, John McCarroll, Marzia Cescon, Kerianne L. Hobbs:
Testing Spacecraft Formation Flying with Crazyflie Drones as Satellite Surrogates. CoRR abs/2402.14750 (2024) - [i19]Tamás G. Molnár, Suresh K. Kannan, James Cunningham, Kyle Dunlap, Kerianne L. Hobbs, Aaron D. Ames:
Collision Avoidance and Geofencing for Fixed-wing Aircraft with Control Barrier Functions. CoRR abs/2403.02508 (2024) - [i18]Kyle Dunlap, Nathaniel Hamilton, Zachary Lippay, Matt Shubert, Sean Phillips, Kerianne L. Hobbs:
Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles. CoRR abs/2405.06770 (2024) - [i17]Kyle Dunlap, Nathaniel Hamilton, Francisco Viramontes, Derrek Landauer, Evan Kain, Kerianne L. Hobbs:
Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies. CoRR abs/2405.06771 (2024) - [i16]Nathaniel Hamilton, Kyle Dunlap, Kerianne L. Hobbs:
Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls. CoRR abs/2405.12355 (2024) - [i15]Kyle Dunlap, Kochise Bennett, David van Wijk, Nathaniel Hamilton, Kerianne Hobbs:
Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. CoRR abs/2406.11795 (2024) - [i14]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 abs/2407.07088 (2024) - 2023
- [j2]Kyle Dunlap
, Mark Mote, Kaiden Delsing, Kerianne L. Hobbs:
Run Time Assured Reinforcement Learning for Safe Satellite Docking. J. Aerosp. Inf. Syst. 20(1): 25-36 (2023) - [c6]Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs:
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. ACC 2023: 4264-4269 - [i13]Kyle Dunlap, David van Wijk, Kerianne L. Hobbs:
Run Time Assurance for Autonomous Spacecraft Inspection. CoRR abs/2302.02885 (2023) - [i12]Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi, Kerianne L. Hobbs:
Bridging the Gap: Applying Assurance Arguments to MIL-HDBK-516C Certification of a Neural Network Control System with ASIF Run Time Assurance Architecture. CoRR abs/2303.15568 (2023) - [i11]David van Wijk, Kyle Dunlap, Manoranjan Majji, Kerianne L. Hobbs:
Deep Reinforcement Learning for Autonomous Spacecraft Inspection using Illumination. CoRR abs/2308.02743 (2023) - [i10]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 abs/2310.04288 (2023) - [i9]Kerianne L. Hobbs, Bernard Li:
Safety, Trust, and Ethics Considerations for Human-AI Teaming in Aerospace Control. CoRR abs/2311.08943 (2023) - 2022
- [j1]Kyle Dunlap
, Michael Hibbard
, Mark Mote, Kerianne Hobbs
:
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. IEEE Control. Syst. Lett. 6: 1849-1854 (2022) - [c5]Michael Hibbard, Ufuk Topcu, Kerianne Hobbs:
Guaranteeing Safety via Active-Set Invariance Filters for Multi-Agent Space Systems with Coupled Dynamics*. ACC 2022: 430-436 - [i8]Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs:
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents. CoRR abs/2207.04117 (2022) - [i7]Kerianne L. Hobbs, Benjamin K. Heiner, Lillian Busse, Kyle Dunlap, Jonathan C. Rowanhill, Ashlie B. Hocking, Aditya Zutshi:
Systems Theoretic Process Analysis of a Run Time Assured Neural Network Control System. CoRR abs/2209.00552 (2022) - [i6]Umberto J. Ravaioli, Kyle Dunlap, Kerianne Hobbs:
A Universal Framework for Generalized Run Time Assurance with JAX Automatic Differentiation. CoRR abs/2209.01120 (2022) - [i5]Kerianne L. Hobbs, Joseph B. Lyons, Martin S. Feather, Benjamen P. Bycroft, Sean Phillips, Michelle Simon, Mark Harter, Kenneth Costello, Yuri Gawdiak, Stephen Paine:
Space Trusted Autonomy Readiness Levels. CoRR abs/2210.09059 (2022) - 2021
- [c4]Kyle Dunlap, Kelly Cohen
, Kerianne Hobbs:
Comparing the Explainability and Performance of Reinforcement Learning and Genetic Fuzzy Systems for Safe Satellite Docking. NAFIPS 2021: 116-129 - [i4]Kyle Dunlap, Michael Hibbard, Mark Mote, Kerianne Hobbs:
Comparing Run Time Assurance Approaches for Safe Spacecraft Docking. CoRR abs/2110.00447 (2021) - [i3]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 abs/2110.03506 (2021) - 2020
- [b1]Kerianne Hobbs:
Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. Georgia Institute of Technology, Atlanta, GA, USA, 2020 - [c3]Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
:
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. CAV (1) 2020: 66-96
2010 – 2019
- 2019
- [c2]Stanley Bak, Kerianne Hobbs:
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees. ARCH@CPSIoTWeek 2019: 170-182 - [i2]Stanley Bak, Kerianne Hobbs:
Efficient n-to-n Collision Detection for Space Debris using 4D AABB Trees (Extended Report). CoRR abs/1901.10475 (2019) - 2018
- [c1]Kerianne Hobbs, Peter Heidlauf, Alexander Collins, Stanley Bak:
Space Debris Collision Detection using Reachability. ARCH@ADHS 2018: 218-228 - 2017
- [i1]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 abs/1705.00960 (2017)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint