10 citations · 10 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…
Entanglement Verification of Hyperentangled Photon Pairs
Christopher K. Zeitler, Joseph C. Chapman, Eric Chitambar +1
We experimentally investigate the properties of hyperentangled states displaying simultaneous entanglement in multiple degrees of freedom, and find that Bell tests beyond the stand…