1 dataset found

Groups: Statistical Model Checking

Filter Results

  • Toy Example Dataset

    The dataset used in the paper is a toy example, consisting of a 10x10 grid world, with the agent at position (0, 0). Obstacles are randomly positioned, at an obstacle to free...