Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; Sayan Mitra; John Schierman; Mahesh Viswanathan 001 (CoRR, 2023)

Optimal Runtime Assurance via Reinforcement Learning. - Kristina Miller; Christopher K. Zeitler; William Shen; Kerianne Hobbs; John Schierman; Mahesh Viswanathan 001; Sayan Mitra (ICCPS, 2024)

Optimizing Rewards while meeting $ omega$-regular Constraints. - Christopher K. Zeitler; Kristina Miller; Sayan Mitra; John Schierman; Mahesh Viswanathan 001 (RLJ, 2024)