A symbolic programming approach to the rendezvous search problem (Q2120120): Difference between revisions

@@ Property / cites work @@
+Symbolic execution and program testing
@@ Property / cites work: Symbolic execution and program testing / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Line with Distinguishable Players
+Normal rank
@@ Property / cites work @@
+Rendezvous search with markers that can be dropped at chosen times
+Normal rank
@@ Property / cites work @@
+Rendezvous Search: A Personal Perspective
@@ Property / cites work: Rendezvous Search: A Personal Perspective / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of search games and rendezvous.
@@ Property / cites work: The theory of search games and rendezvous. / rank @@
+Normal rank
@@ Property / cites work @@
+Search Theory
@@ Property / cites work: Search Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Flocking and Rendezvous in Distributed Robotics
@@ Property / cites work: Flocking and Rendezvous in Distributed Robotics / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous in Distributed Systems
@@ Property / cites work: Rendezvous in Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The rendezvous problem on discrete locations
@@ Property / cites work: The rendezvous problem on discrete locations / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Symmetric Rendezvous Search on Three Locations
+Normal rank
@@ Property / cites work @@
+The Rendezvous Search Problem
@@ Property / cites work: The Rendezvous Search Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Line with Indistinguishable Players
+Normal rank
@@ Property / cites work @@
+Note: Two rendezvous search problems on the line
@@ Property / cites work: Note: Two rendezvous search problems on the line / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Line
@@ Property / cites work: Rendezvous Search on the Line / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Bounds for the Symmetric Rendezvous Value on the Line
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Line with Limited Resources: Maximizing the Probability of Meeting
+Normal rank
@@ Property / cites work @@
+Rendezvous on the Line when the Players' Initial Distance is Given by an Unknown Probability Distribution
+Normal rank
@@ Property / cites work @@
+Rendezvous search when marks are left at the starting points
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Interval and the Circle
@@ Property / cites work: Rendezvous Search on the Interval and the Circle / rank @@
+Normal rank
@@ Property / cites work @@
+LATIN 2004: Theoretical Informatics
@@ Property / cites work: LATIN 2004: Theoretical Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous search on labeled networks
@@ Property / cites work: Rendezvous search on labeled networks / rank @@
+Normal rank
@@ Property / cites work @@
+Two Dimensional Rendezvous Search
@@ Property / cites work: Two Dimensional Rendezvous Search / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous Search on the Labeled Line
@@ Property / cites work: Rendezvous Search on the Labeled Line / rank @@
+Normal rank
@@ Property / cites work @@
+Rendezvous search on a star graph with examination costs
+Normal rank
@@ Property / cites work @@
+On the Multichannel Rendezvous Problem: Fundamental Limits, Optimal Hopping Sequences, and Bounded Time-to-Rendezvous
+Normal rank
@@ Property / cites work @@
+Search on a line with faulty robots
@@ Property / cites work: Search on a line with faulty robots / rank @@
+Normal rank
@@ Property / cites work @@
+Linear search by a pair of distinct-speed robots
@@ Property / cites work: Linear search by a pair of distinct-speed robots / rank @@
+Normal rank
@@ Property / cites work @@
+Group Search on the Line
@@ Property / cites work: Group Search on the Line / rank @@
+Normal rank
@@ Property / cites work @@
+Graph exploration by energy-sharing mobile agents
@@ Property / cites work: Graph exploration by energy-sharing mobile agents / rank @@
+Normal rank
@@ Property / cites work @@
+An annotated bibliography on guaranteed graph searching
+Normal rank
@@ Property / cites work @@
+SEARCH GAMES: LITERATURE AND SURVEY
@@ Property / cites work: SEARCH GAMES: LITERATURE AND SURVEY / rank @@
+Normal rank
@@ Property / cites work @@
+Search-and-rescue rendezvous
@@ Property / cites work: Search-and-rescue rendezvous / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view
@@ Property / cites work: Decision procedures. An algorithmic point of view / rank @@
+Normal rank