Efficient Dynamic Shielding for Parametric Safety Specifications.

Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez

Browse the full ATVA paper archive.