Publications

Search our publications to read more about our work in more depth.

Feedback in highly automated vehicles: what do drivers rely on?

Joy Richardson, Kirsten Revell, Neville Stanton, Jediah Clark, Nermin Caber, Mike Bradley, Theocharis Amanatidis, Patrick Langdon, Simon Thompson & Lee Skrypchuk, 2020

Type: conference

Bounded incentives in manipulating the Probabilistic Serial rule

2020

DOI: 10.1609/aaai.v34i02.5605

Type: conference

Formalizing hierarchical scheduling for refinement of real-time systems

Chenyang Zhu, Michael Butler & Corina Cirstea, 2020, Science of Computer Programming, 189

DOI: 10.1016/j.scico.2020.102390

Type: article

Solving the fair electric load shedding problem in developing countries

Olabambo Ifeoluwa Oluwasuji, Obaid Malik, Jie Zhang & Sarvapali Ramchurn, 2020, Autonomous Agents and Multi-Agent Systems, 34(1)

DOI: 10.1007/s10458-019-09428-8

Type: article

Repository for reusing artifacts of artificial neural networks

Javad Ghofrani, Ehsan Kozegar, Mohammad Divband Soorati, Arezoo Bozorgmehr, Hongfei Chen & Maximilian Naake, 2020

DOI: 10.48550/arXiv.2003.13619

Type: other

Real-time trigger-response properties for Event-B applied to the pacemaker

Chenyang Zhu, Michael Butler & Corina Cirstea, 2020

Type: conference

Catching cheats: detecting strategic manipulation in distributed optimisation of electric vehicle aggregators

Alvaro Perez-Diaz, Enrico Gerding & Frank McGroarty, 2020, Journal of Artificial Intelligence Research, 67, 437-470

DOI: 10.1613/jair.1.11573

Type: article