Welcome to LTLMoP’s documentation!

Contents:

• Applications
  • specEditor.py - Specification Editor
  • regionEditor.py - Region Editor
  • execute.py - Top-level hybrid controller executor
  • calibrate.py - A tool for finding the transformation between map and real coordinates
  • simGUI.py - Experiment Monitor GUI
• Shared Modules
  • project.py - Abstraction layer for project files
  • regions.py - Regions Module
  • fileMethods.py - File Access Methods
  • parseEnglishToLTL.py - Structured English to LTL Translator
  • createJTLVinput.py - LTL Pre-Processor Routines
  • handlerSubsystem.py - Interface for working with handlers, configs
• Handlers
  • Shared
  • Pose
  • Drive
  • Motion Control
  • Robot-specific handlers
• Configuration and Data Files
  • Definitions
  • Example
  • Contents
• To-Do List
• Coding Conventions

Indices and tables

• Index
• Module Index
• Search Page