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
- Dr Nicolas Berthier
- Dr Alexei Lisitsa
- Professor Sven Schewe
- Dr Patrick Totzke
- Xingyu Zhao
- Daniele Dell'Erba
- Professor Boris Konev
- Professor Frank Wolter
- Dr Xiaowei Huang
- Dr Rasmus Ibsen-Jensen
- Mr Sebastian Coope
- Mr Keith Dures
- Dr Floriana Grasso
- Mr Phil Jimmieson
- Dr Ullrich Hustadt
- Sougata Bose
- Dr Qiyi Tang
- Dr Yong Li
- Dr David Purser
Back to: Department Of Computer Science