activity
20202022
most citedNetworked Supervisory Control Synthesis of Timed Discrete-Event Systems

1 citations · 3 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2021

An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson

The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically th…