Efficient Shield Synthesis via State-Space Transformation.

Asger Horn Brorholt, Andreas Holck Heg-Petersen, Kim Guldstrand Larsen, Christian Schilling

Browse the full VECoS paper archive.