Efficient Shield Synthesis via State-Space Transformation

Open in new window