1 citations · 1 across the 3 of their papers we have counts for
3 papers
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller, Christopher K. Zeitler, William Shen +4
A runtime assurance system (RTA) for a given plant enables the exercise of an untrusted or experimental controller while assuring safety with a backup (or safety) controller. The r…
RTAEval: A framework for evaluating runtime assurance logic
Kristina Miller, Christopher K. Zeitler, William Shen +2
Runtime assurance (RTA) addresses the problem of keeping an autonomous system safe while using an untrusted (or experimental) controller. This can be done via logic that explicitly…
Autonomous Local Catalog Maintenance of Close Proximity Satellite Systems on Closed Natural Motion Trajectories
Christopher W. Hays, Kristina Miller, Alexander Soderlund +2
To enable space mission sets like on-orbit servicing and manufacturing, agents in close proximity maybe operating too close to yield resolved localization solutions to operators fr…