Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986): Difference between revisions

@@ Property / describes a project that uses @@
+VRP
@@ Property / describes a project that uses: VRP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/rnc.1715
@@ Property / full work available at URL: https://doi.org/10.1002/rnc.1715 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1980088782
@@ Property / OpenAlex ID: W1980088782 / rank @@
+Normal rank
@@ Property / cites work @@
+The Truck Dispatching Problem
@@ Property / cites work: The Truck Dispatching Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751354
@@ Property / cites work: Q3751354 / rank @@
+Normal rank
@@ Property / cites work @@
+Models, relaxations and exact approaches for the capacitated vehicle routing problem
+Normal rank
@@ Property / cites work @@
+The Vehicle Routing Problem
@@ Property / cites work: The Vehicle Routing Problem / rank @@
+Normal rank
@@ Property / cites work @@
+The application of a vehicle routing model to a waste-collection problem: two case studies
+Normal rank
@@ Property / cites work @@
+A decision support system for a real vehicle routing problem.
+Normal rank
@@ Property / cites work @@
+Optimization of air vehicles operations using mixed-integer linear programming
+Normal rank
@@ Property / cites work @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Description and reasoning of VLSI circuit in temporal logic
+Normal rank
@@ Property / cites work @@
+Control problems in a temporal logic framework
@@ Property / cites work: Control problems in a temporal logic framework / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Tools for reformulating logical forms into zero-one mixed integer programs
+Normal rank
@@ Property / cites work @@
+Logic-based decision support. Mixed integer model formulation
+Normal rank
@@ Property / cites work @@
+Logic applied to integer programming and integer programming applied to logic
+Normal rank
@@ Property / cites work @@
+Control of systems integrating logic, dynamics, and constraints
+Normal rank
@@ Property / cites work @@
+A set‐partitioning‐based exact algorithm for the vehicle routing problem
+Normal rank
@@ Property / cites work @@
+A New Optimization Algorithm for the Vehicle Routing Problem with Time Windows
+Normal rank
@@ Property / cites work @@
+Solving Airline Crew Scheduling Problems by Branch-and-Cut
+Normal rank
@@ Property / cites work @@
+On the Effectiveness of Set Covering Formulations for the Vehicle Routing Problem with Time Windows
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2903986