Follow the STARs: Dynamic $\omega$-Regular Shielding of Learned Policies

Ashwani Anand, Satya Prakash Nayak, Ritam Raha +1

This paper presents a novel dynamic post-shielding framework that enforces the full class of $\omega$-regular correctness properties over pre-computed probabilistic policies. This const…