When will automated vehicles come onto the market? This question has puzzled the
automotive industry and society for years. The technology and its implementation have …

We formalise and study multi-agent timed models MAPTs (Multi-Agent with Periodic timed
Tasks), where each agent is associated with a regular timed schema upon which all …

We present multi-agent timed models, called MAPTs, where each agent is associated with a
regular timed schema upon which all possible actions of the agent rely. MAPTs allow for a …

As machine-learning systems begin deployment in safety-critical domains such as medical
imaging and autonomous driving, model failure is increasingly costly. In such applications, it …

Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) technologies (together, V2X) will
enable vehicles, ranging from cars to trucks to buses to pedestrians to wirelessly exchange …

In situations where humans and computers cooperate, mode confusion on the part of the
human can be dangerous. We present a methodology to evaluate a semi-autonomous …