Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications (Q2125520): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2022.110228
@@ Property / DOI: 10.1016/j.automatica.2022.110228 / 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.1016/j.automatica.2022.110228
+Normal rank
@@ Property / OpenAlex ID @@
+W4220689301
@@ Property / OpenAlex ID: W4220689301 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+Manipulating LTL Formulas Using Spot 1.0
@@ Property / cites work: Manipulating LTL Formulas Using Spot 1.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints
+Normal rank
@@ Property / cites work @@
+SCOTS
@@ Property / cites work: SCOTS / rank @@
+Normal rank
@@ Property / cites work @@
+The Vehicle Routing Problem
@@ Property / cites work: The Vehicle Routing Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent planning under local LTL specifications and event-based synchronization
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2022.110228
@@ Property / DOI: 10.1016/J.AUTOMATICA.2022.110228 / rank @@
+Normal rank