SC²: Safe Control via Shielding for CPCTL Specifications.

Edwin Hamel-De le Court, Gaspard Ohlmann, Francesco Belardinelli

Browse the full KR paper archive.