Project - VerifiableRobotics/LTLMoP GitHub Wiki

  • Corresponds to, at the least, a .spec file and a configs/ subfolder
  • Contains:
    • Specification
    • Reference to Map (and mapping from decomposed regions to original)
    • Settings:
      • Proposition names
      • Reference to current ExperimentConfig
      • Compilation settings