Martina Maggio
Martina Maggio
Affiliation: Saarland University
Pages in this Program
Over-approximation of weakly-hard constraints for control systems verification
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑