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 Nicolas Berthier
- Dr Bart de Keijzer
- Dr Rafael Cardoso
- Dr Emily Collins
- Dr Louise Dennis
- Dr Clare Dixon
- Dr Marie Farrell
- Dr Angelo Ferrando
- Professor Michael Fisher
- Dr Moritz Hahn
- Dr Xiaowei Huang
- Dr Ullrich Hustadt
- Dr Rasmus Ibsen-Jensen
- Dr Maryam Kamali
- Dr Georgios Kourtis
- Professor Boris Konev
- Dr Karoliina Lehtinen
- Dr Alexei Lisitsa
- Dr Sven Linker
- Dr Matt Luckcuck
- Professor Sven Schewe
- Dr Patrick Totzke
- Dr Matt Webster
- Dr Dominik Wojtczak
- Professor Frank Wolter
- Dr Martin Zimmermann
PhD Students
Research students active within the group are:
- Mahmood Al Saadi
- Amany Alshareef
- Farah Al-Shareefi
- Hamzah Faraj
- Paul Gainer
- Wei Huang
- Mousa Jari
- Mehmet Kurucan
- Mete Özbaltan
- Hadrien Pulcini
- Emese Thamo