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…