Linear temporal logic vehicle routing with applications to multi-UAV mission planning
scientific article; zbMATH DE number 6063208
scientific article