Linear temporal logic vehicle routing with applications to multi-UAV mission planning
type: Item
instance of: scholarly article
title: Linear temporal logic vehicle routing with applications to multi-UAV mission planning
zbMATH Open document ID: 1244.90038
author: Sertaç Karaman
author: Emilio Frazzoli
published in: International Journal of Robust and Nonlinear Control
publication date: 2012-08-04T00:00:00Z
Mathematics Subject Classification ID: 90B06
Mathematics Subject Classification ID: 90C11
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6063208
zbMATH Keywords: vehicle routing
zbMATH Keywords: linear temporal logic
zbMATH Keywords: mixed-integer linear programming
zbMATH Keywords: UAV mission planning
describes a project that uses: VRP
MaRDI profile type: Publication
full work available at URL: rnc.1715
OpenAlex ID: W1980088782
cites work: The truck dispatching problem
cites work: Q3751354
cites work: Models, relaxations and exact approaches for the capacitated vehicle routing problem
cites work: The vehicle routing problem
cites work: The application of a vehicle routing model to a waste-collection problem: two case studies
cites work: A decision support system for a real vehicle routing problem.
cites work: Optimization of air vehicles operations using mixed-integer linear programming
cites work: Q4547769
cites work: Q3835817
cites work: Description and reasoning of VLSI circuit in temporal logic
cites work: Control problems in a temporal logic framework
cites work: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
cites work: Linear Time Logic Control of Discrete-Time Linear Systems
cites work: Tools for reformulating logical forms into zero-one mixed integer programs
cites work: Logic-based decision support. Mixed integer model formulation
cites work: Logic applied to integer programming and integer programming applied to logic
cites work: Control of systems integrating logic, dynamics, and constraints
cites work: A set‐partitioning‐based exact algorithm for the vehicle routing problem
cites work: A New Optimization Algorithm for the Vehicle Routing Problem with Time Windows
cites work: Solving Airline Crew Scheduling Problems by Branch-and-Cut
cites work: On the Effectiveness of Set Covering Formulations for the Vehicle Routing Problem with Time Windows
cites work: Logic in Computer Science
DOI: 10.1002/RNC.1715
description: scientific article; zbMATH DE number 6063208