Verification
Verification techniques are used for proving that a system meets its requirements and specifications. This group is led by Dr Dominik 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.
People
Academic staff members of this group are:
- Dr Dominik Wojtczak
- Professor Boris Konev
- Professor Sven Schewe
- Professor Patrick Totzke
- Professor Frank Wolter
- Dr Sougata Bose
- Dr Guangliang Cheng
- Mr Sebastian Coope
- Dr Yi Dong
- Mr Keith Dures
- Dr Lorenzo Gheri
- Dr Floriana Grasso
- Dr Vladimir Gusev
- Dr Daniel Hausmann
- Dr Xiaowei Huang
- Dr Ullrich Hustadt
- Dr Rasmus Ibsen-Jensen
- Mr Phil Jimmieson
- Dr Yong Li
- Dr Alexei Lisitsa
- Dr David Purser
- Dr Friedrich Slivovsky
- Dr Qiyi Tang
- Dr Tony Tan
- Dr Di-De Yen
- Dr Shufang Zhu