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

Open in new window