RoASt Documentation
Robot Algorithm Synthesizer Tool: A proof-of-concept research tool for synthesizing algorithms that solve perpetual grid exploration with obstacles using luminous myopic robots.
Synthesizing Algorithm Extensions for Grid Perpetual Exploration with an Obstacle (Technical Report)
This document provides Proofs of Perpetual Exploration and Impossibility Results for the current executions of Algorithm 1 and Algorithm 2.
Download PDFWhat is RoASt?
RoASt (Robot Algorithm Synthesizer Tool) is a proof-of-concept research tool that implements a partly automated method to synthesize algorithms solving the perpetual exploration of finite grids containing obstacles using luminous myopic robots with common chirality in the fully-synchronous Look-Compute-Move model.
The tool generates algorithms and verifies them by simulation on small grids. Results are presented through interactive HTML viewers with comprehensive classification into behavioral families.
References from the Research Paper
GitHub repositories, technical reports, and execution viewers cited in the paper, grouped by paper section.
Section I
- I.A (p.2): Tool source code
Section II
- II.E (p.4): Technical report (Section II.A)
Section IV
- IV (p.6): Tool source code
- IV (p.6): Technical report (Sections II.B, II.C)
- IV.A (p.7): Base goals for Algos 1 & 2: Execution 1, Execution 3
- IV.B (p.7): Results: Execution 4
- IV.C (p.8): Technical report (Section III)
- IV.C (p.8): Generated algos (Algo 1): Execution 1 viewer
- IV.C (p.8): Generated algos (Algo 2): Execution 3 viewer
- IV.D (p.8): Technical report (Section I)
- IV.E (p.9): Classification (Algos 1 & 2): Execution 1 classification, Execution 3 classification
- IV.E (p.9): Animation (Algos 3 & 5, Exp. 3): Execution 3 viewer
- IV.E (p.9): Animation (Algos 3, 31, 576, Exp. 4): Execution 3 viewer
- IV.E (p.9): Animation (Algos 3 & 26, Exp. 0): Execution 3 viewer
- IV.F.a (p.10): Results: Execution 2
- IV.F.b (p.10): Results: Execution 10, Execution 5
- IV.F.c (p.10): Results: Execution 6, Execution 7
- IV.F.c (p.11): Animation (Algo 188, Exp. 26): Execution 7 viewer
- IV.F.c (p.11): Results: Execution 8
Section V
- V (p.11): Results: Execution 9