Verification techniques are used for proving that a system meets its requirements and specifications. This group is lead by Dr Dominic Wojtczak.

We study verification, optimisation, and control problems for reactive, hybrid, and stochastic systems with varying degrees of independent agents with collaborative (swarms) and competitive goals.

Verification has been applied in safety-critical applications, such as air traffic control systems, and is becoming increasingly important for the development of autonomous vehicles and robots.


Academic staff members of this group are:

Back to: Department Of Computer Science