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
Back to: Department of Computer Science