Over-Approximation of Weakly-Hard Constraints for Control Systems Verification.

Rieke de Maeyer, Holger Hermanns, Martina Maggio

Browse the full CAV paper archive.