Formal verification (2025-2026)
mondays 12:15-13:45 (lecture) / 14:15-15:45 (tutorial), room P112@Pasteura 7
Lecture 10 [
slides
]
summary
Verification of continuous control systems
Bilinear systems and rational series
references