Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.Comment: In Proceedings FVAV 2017, arXiv:1709.0212

Collective Behaviour: From Cells to Humans

Living in organised groups is a strategy that can be observed in a multitude of diverse species. Among such species, the behaviour of an individual on their own is not the same as within a group: the environment is modified by the presence of more subjects, individuals interact with each other, and from those interactions complex patterns of behaviour can emerge. Some species of animals almost exclusively exist as groups, and as a consequence, studying them in a social context is the only way to understand their behaviour in nature. This is the idea that drives all the research presented in this thesis: the particular behaviour exhibited by the group is so robust that it will emerge even in a very simplified environment. By observing the individual and the group in those simplified experimental conditions, it is possible to deduce rules that might govern the interaction. The importance of interactions in the group’s behaviour can then be demonstrated by implementing a computer model of agents following those rules and comparing it with natural and experimental behaviour. This thesis presents different examples of such analyses, and gives illustrations of the range of questions that can be answered through this method. Groups of stem cells, juvenile sea bass and human beings were successively observed and tracked in suitable environments, with or without perturbation. The data extracted from those experiments were then processed so as to correct recording errors, and individual and collective behaviours were derived from those data, returning new insights on the nature of the interaction at the individual level, their consequences at the global level, as well as the effects of the interaction on both. Finally, I present the computer models derived from those analyses. Many systems in nature share this property of global behaviours emerging from deterministic local interaction, and as a consequence studies of this kind could shed light on important questions, of which cancer treatment, ocean acidification and human organisations are but a few examples

Traffic coordination using aggregation-based traffic predictions

A route-guidance system is described, which aggregates information obtained from the drivers participating in the system. Because the data is information related to the future state of the traffic network, the system doesn't require extrapolation from the current traffic network to make predictions about the future state of the traffic network.status: publishe