[University home]

School of Computer Science

Hybrid control systems: using formal verification to improve the control loop