Skip to main content
Email Print Share

News Release 15-052 - Video

An automata-theoretic approach to the Vehicle Routing Problem

This material is available primarily for archival purposes. Telephone numbers or other contact information may be out of date; please see current contact information at media contacts.


Researchers from Boston University developed new algorithms to solve the Vehicle Routing Problem, an important problem in the fields of transportation, distribution, and logistics. The proposed algorithms, which are based on concepts and tools from formal verification and optimization, generate collision-free motion plans automatically from temporal logic statements and vehicle characteristics such as maximum operation time and minimum replenish time. The coordination of multiple micro-robots is critical for the success of the bio-CPS project.

Credit: Cristian Ioan Vasile and Calin Belta, Boston University

Back to article