Dorel Lucanu

Proving Reachability Properties by Coinduction (Extended Abstract)

2018

The coinduction is dual to induction and both of them can be defined as fixed points. More precisely, a set is inductive if it is the least fixed-point (lfp) of a monotone endofunction on a …

Joint Decision Making in Ant Colony Systems for Solving the Multiple Traveling Salesman Problem

2023 · Procedia Computer Science

The Multiple Traveling Salesman Problem (multiple-TSP) is a straightforward extension of the well-known Traveling Salesman Problem (TSP), in which more salesmen must visit a set of interconnected cities. Ant Colony Optimization (ACO) algorithms are designed …