Ensuring the trustworthiness of autonomous systems and artificial intelligence is an important interdisciplinary endeavour. In this position paper, we argue that this endeavour will benefit from technical advancements in capturing various forms of responsibility, and we present a comprehensive research agenda to achieve this. In particular, we argue that ensuring the reliability of autonomous system can take advantage of technical approaches for quantifying degrees of responsibility and for coordinating tasks based on that. Moreover, we deem that, in certifying the legality of an AI system, formal and computationally implementable notions of responsibility, blame, accountability, and liability are applicable for addressing potential responsibility gaps (i.e. situations in which a group is responsible, but individuals’ responsibility may be unclear). This is a call to enable AI systems themselves, as well as those involved in the design, monitoring, and governance of AI systems, to represent and reason about who can be seen as responsible in prospect (e.g. for completing a task in future) and who can be seen as responsible retrospectively (e.g. for a failure that has already occurred). To that end, in this work, we show that across all stages of the design, development, and deployment of trustworthy autonomous systems (TAS), responsibility reasoning should play a key role. This position paper is the first step towards establishing a road map and research agenda on how the notion of responsibility can provide novel solution concepts for ensuring the reliability and legality of TAS and, as a result, enables an effective embedding of AI technologies into society.@en

Rank aggregation is the problem of generating an overall ranking from a set of individual votes which is as close as possible to the (unknown) correct ranking. The challenge is that votes are often both noisy and incomplete. Existing work focuses on the most likely ranking for a particular noise model. Instead, we focus on minimising the error, i.e., the expected distance between the aggregated ranking and the correct one. We show that this results in different rankings, and we show how to compute local improvements of rankings to reduce the error. Extensive experiments on both synthetic data based on Mallows' model and real data show that Copeland has a smaller error than the Kemeny rule, while the latter is the maximum likelihood estimator.@en

This paper introduces a novel intention-aware routing system (IARS) for electric vehicles. This system enables vehicles to compute a routing policy that minimizes their expected journey time while considering the policies, or intentions, of other vehicles. Considering such intentions is critical for electric vehicles, which may need to recharge en route and face potentially significant queueing times if other vehicles choose the same charging stations. To address this, the computed routing policy takes into consideration predicted queueing times at the stations, which are derived from the current intentions of other electric vehicles. The efficacy of IARS is demonstrated through simulations using realistic settings based on real data from The Netherlands, including charging station locations, road networks, historical travel times, and journey origin-destination pairs. In these settings, IARS is compared with a number of state-of-the-art benchmark routing algorithms and achieves significantly lower average journey times. In some cases, IARS leads to an over 80% improvement in waiting times at charging stations and a more than 50% reduction in overall journey times.@en

To develop and effectively deploy Trustworthy Autonomous Systems (TAS), we face various social, technological, legal, and ethical challenges in which different notions of responsibility can play a key role. In this work, we elaborate on these challenges, discuss research gaps, and show how the multidimensional notion of responsibility can play a role to bridge them. We argue that TAS requires operational tools to represent and reason about responsibilities of humans as well as AI agents. We review major challenges to which responsibility reasoning can contribute, highlight open research problems, and argue for the application of multiagent responsibility models in a variety of TAS domains.@en

We introduce a novel online mechanism that schedules the allocation of an expiring and continuously-produced resource to self-interested agents with private preferences. A key application of our mechanism is the charging of pure electric vehicles, where owners arrive dynamically over time, and each owner requires a minimum amount of charge by its departure to complete its next trip. To truthfully elicit the agents' preferences in this setting, we introduce the new concept of pre-commitment: Whenever an agent is selected, our mechanism pre-commits to charging the vehicle by its reported departure time, but maintains flexibility about when the charging takes place and at what rate. Furthermore, to make effective allocation decisions we use a model-based approach by modifying Consensus, a well-known online optimisation algorithm. We show that our pre-commitment mechanism with modified Consensus incentivises truthful reporting. Furthermore, through simulations based on real-world data, we show empirically that the average utility achieved by our mechanism is 93% or more of the offline optimal.@en

Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel online auction protocol for this problem, wherein vehicle owners use agents to bid for power and also state time windows in which a vehicle is available for charging. This is a multi-dimensional mechanism design domain, with owners having non-increasing marginal valuations for each subsequent unit of electricity. In our design, we couple a greedy allocation algorithm with the occasional "burning" of allocated power, leaving it unallocated, in order to adjust an allocation and achieve monotonicity and thus truthfulness. We consider two variations: burning at each time step or on-departure. Both mechanisms are evaluated in depth, using data from a real-world trial of electric vehicles in the UK to simulate system dynamics and valuations. The mechanisms provide higher allocative efficiency than a fixed price system, are almost competitive with a standard scheduling heuristic which assumes non-strategic agents, and can sustain a substantially larger number of vehicles at the same per-owner fuel cost saving than a simple random scheme.@en

Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel online auction protocol for this problem, wherein vehicle owners use agents to bid for power and also state time windows in which a vehicle is available for charging. This is a multi-dimensional mechanism design domain, with owners having non-increasing marginal valuations for each subsequent unit of electricity. In our design, we couple a greedy allocation algorithm with the occasional "burning" of allocated power, leaving it unallocated, in order to adjust an allocation and achieve monotonicity and thus truthfulness. We consider two variations: burning at each time step or on-departure. Both mechanisms are evaluated in depth, using data from a real-world trial of electric vehicles in the UK to simulate system dynamics and valuations. The mechanisms provide higher allocative efficiency than a fixed price system, are almost competitive with a standard scheduling heuristic which assumes non-strategic agents, and can sustain a substantially larger number of vehicles at the same per-owner fuel cost saving than a simple random scheme.@en

Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel online auction protocol for this problem, wherein vehicle owners use agents to bid for power and also state time windows in which a vehicle is available for charging. This is a multi-dimensional mechanism design domain, with owners having non-increasing marginal valuations for each subsequent unit of electricity. In our design, we couple a greedy allocation algorithm with the occasional "burning" of allocated power, leaving it unallocated, in order to adjust an allocation and achieve monotonicity and thus truthfulness. We consider two variations: burning at each time step or on-departure. Both mechanisms are evaluated in depth, using data from a real-world trial of electric vehicles in the UK to simulate system dynamics and valuations. The mechanisms provide higher allocative efficiency than a fixed price system, are almost competitive with a standard scheduling heuristic which assumes non-strategic agents, and can sustain a substantially larger number of vehicles at the same per-owner fuel cost saving than a simple random scheme.@en

Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel online auction protocol for this problem, wherein vehicle owners use agents to bid for power and also state time windows in which a vehicle is available for charging. This is a multi-dimensional mechanism design domain, with owners having non-increasing marginal valuations for each subsequent unit of electricity. In our design, we couple a greedy allocation algorithm with the occasional "burning" of allocated power, leaving it unallocated, in order to adjust an allocation and achieve monotonicity and thus truthfulness. We consider two variations: burning at each time step or on-departure. Both mechanisms are evaluated in depth, using data from a real-world trial of electric vehicles in the UK to simulate system dynamics and valuations. The mechanisms provide higher allocative efficiency than a fixed price system, are almost competitive with a standard scheduling heuristic which assumes non-strategic agents, and can sustain a substantially larger number of vehicles at the same per-owner fuel cost saving than a simple random scheme.@en

Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommodate capacity constraints. We design a novel online auction protocol for this problem, wherein vehicle owners use agents to bid for power and also state time windows in which a vehicle is available for charging. This is a multi-dimensional mechanism design domain, with owners having non-increasing marginal valuations for each subsequent unit of electricity. In our design, we couple a greedy allocation algorithm with the occasional "burning" of allocated power, leaving it unallocated, in order to adjust an allocation and achieve monotonicity and thus truthfulness. We consider two variations: burning at each time step or on-departure. Both mechanisms are evaluated in depth, using data from a real-world trial of electric vehicles in the UK to simulate system dynamics and valuations. The mechanisms provide higher allocative efficiency than a fixed price system, are almost competitive with a standard scheduling heuristic which assumes non-strategic agents, and can sustain a substantially larger number of vehicles at the same per-owner fuel cost saving than a simple random scheme.@en

With the growing popularity of electric vehicles (EVs), the number of public charging stations is increasing rapidly, allowing drivers to charge their cars while parked away from home or en-route to their destination. However, as a full charge can take a significant amount of time, drivers may face queues and uncertainty over availability of charging facilities at different stations and times. In this paper, we address this problem by proposing a novel, two-sided market for advance reservations, in which agents, representing EV owners, report their preferences for time slots and charging locations, while charging stations report their availability and costs. In our model, both parties are rational, profit-maximising entities, and buyers enter the market dynamically over time. Given this, we apply techniques from online mechanism design to develop a pricing mechanism which is truthful on the buyer side (i.e., drivers have no incentive to misreport their preferences or to delay their reservations). For the seller side, we adapt three well-known pricing mechanisms and compare them both theoretically and empirically. Using realistic simulations, we demonstrate that two of our proposed mechanisms consistently achieve a high efficiency (90-95% of optimal), while offering a trade-off between stability and budget balance. Surprisingly, the third mechanism, a common payment mechanism that is truthful in simpler settings, achieves a significantly lower efficiency and runs a high deficit.@en

With the growing popularity of electric vehicles (EVs), the number of public charging stations is increasing rapidly, allowing drivers to charge their cars while parked away from home or en-route to their destination. However, as a full charge can take a significant amount of time, drivers may face queues and uncertainty over availability of charging facilities at different stations and times. In this paper, we address this problem by proposing a novel, two-sided market for advance reservations, in which agents, representing EV owners, report their preferences for time slots and charging locations, while charging stations report their availability and costs. In our model, both parties are rational, profit-maximising entities, and buyers enter the market dynamically over time. Given this, we apply techniques from online mechanism design to develop a pricing mechanism which is truthful on the buyer side (i.e., drivers have no incentive to misreport their preferences or to delay their reservations). For the seller side, we adapt three well-known pricing mechanisms and compare them both theoretically and empirically. Using realistic simulations, we demonstrate that two of our proposed mechanisms consistently achieve a high efficiency (90-95% of optimal), while offering a trade-off between stability and budget balance. Surprisingly, the third mechanism, a common payment mechanism that is truthful in simpler settings, achieves a significantly lower efficiency and runs a high deficit.@en

Vehicle-to-grid (V2G) is a promising approach whereby electric vehicles (EVs) are used to store excess electricity supply (e.g., from renewable sources), which is sold back to the grid in times of scarcity. In this paper we consider the setting of a smart car park, where EVs come and go, and can be used for V2G while parked. We develop novel allocation and payment mechanisms which truthfully elicit the EV owners' preferences and constraints, including arrival, departure, required charge, as well as the costs of discharging due to loss of efficiency of the battery. The car park will schedule the charging and discharging of each EV, ensuring the constraints of the EVs are met, and taking into consideration predictions about future electricity prices. Optimally solving the global problem is intractable, and we present three novel heuristic online scheduling algorithms. We show that, under certain conditions, two of these satisfy monotonicity and are therefore truthful. We furthermore evaluate the algorithms using simulations, and we show that some of our algorithms benefit significantly from V2G, achieving positive benefit for the car park even when agents do not pay for using it.@en

We develop an online mechanism for the allocation of an expiring resource to a dynamic agent population. Each agent has a non-increasing marginal valuation function for the resource, and an upper limit on the number of units that can be allocated in any period. We propose two versions on a truthful allocation mechanism. Each modifies the decisions of a greedy online assignment algorithm by sometimes cancelling an allocation of resources. One version makes this modification immediately upon an allocation decision while a second waits until the point at which an agent departs the market. Adopting a prior-free framework, we show that the second approach has better worst-case allocative efficiency and is more scalable. On the other hand, the first approach (with immediate cancellation) may be easier in practice because it does not need to reclaim units previously allocated. We consider an application to recharging plug-in hybrid electric vehicles (PHEVs). Using data from a real-world trial of PHEVs in the UK, we demonstrate higher system performance than a fixed price system, performance comparable with a standard, but non-truthful scheduling heuristic, and the ability to support 50% more vehicles at the same fuel cost than a simple randomized policy.@en

As plug-in electric vehicles become more widespread, their charging needs to be coordinated, in order to ensure that capacity constraints are not exceeded. This is becoming particularly critical as new fast-charging technologies are being developed that place additional burden on local transformers. To address this problem, we propose a novel online mechanism in which agents representing vehicle owners are incentivised to be truthful not only about their marginal valuations for electricity units, but also about their arrival, departure and maximum charging speeds. The work extends the state of the art in several ways. We develop an online, model-free mechanism that handles multi-unit demand per period, thus accommodating vehicles with heterogeneous and flexible charging speeds; we provide competitive worst-case bounds for our mechanism; finally, we simulate the proposed online mechanism using data from a real-world trial of electric vehicles in the UK, showing that using fast charging leads to significant cost savings.@en

As plug-in electric vehicles become more widespread, their charging needs to be coordinated, in order to ensure that capacity constraints are not exceeded. This is becoming particularly critical as new fast-charging technologies are being developed that place additional burden on local transformers. To address this problem, we propose a novel online mechanism in which agents representing vehicle owners are incentivised to be truthful not only about their marginal valuations for electricity units, but also about their arrival, departure and maximum charging speeds. The work extends the state of the art in several ways. We develop an online, model-free mechanism that handles multi-unit demand per period, thus accommodating vehicles with heterogeneous and flexible charging speeds; we provide competitive worst-case bounds for our mechanism; finally, we simulate the proposed online mechanism using data from a real-world trial of electric vehicles in the UK, showing that using fast charging leads to significant cost savings.@en