Structured English Parser - VerifiableRobotics/LTLMoP GitHub Wiki

The Structured English Parser is a simple parser designed to make it easier to write task specifications, while still avoiding any ambiguity in the translation of the specification to LTL.

Please see the Structured English Grammar Reference Guide for more information.

• TODO: features, examples