Optimizing Rewards while meeting $\omega$-regular Constraints.

John Schierman

Christopher K. Zeitler Kristina Miller Sayan Mitra 0001 John Schierman Mahesh Viswanathan 0001 Optimizing Rewards while meeting $\omega$-regular Constraints. 2492-2514 2024 RLJ 5 db/journals/rlj/rlj5.html#ZeitlerMMS024 https://rlj.cs.umass.edu/2024/papers/Paper359.html

Kristina Miller Christopher K. Zeitler William Shen Kerianne Hobbs John Schierman Mahesh Viswanathan 0001 Sayan Mitra 0001 Optimal Runtime Assurance via Reinforcement Learning. 67-76 2024 ICCPS https://doi.org/10.1109/ICCPS61052.2024.00013 conf/iccps/2024 db/conf/iccps/iccps2024.html#MillerZSHSVM24 streams/conf/iccps

Kristina Miller Christopher K. Zeitler William Shen Kerianne Hobbs Sayan Mitra 0001 John Schierman Mahesh Viswanathan 0001 Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning. 2023 abs/2310.04288 CoRR https://doi.org/10.48550/arXiv.2310.04288 db/journals/corr/corr2310.html#abs-2310-04288

Kerianne Hobbs Kristina Miller Sayan Mitra 0001 William Shen Mahesh Viswanathan 0001 Christopher K. Zeitler