Skip to content

Structured English Parser

Jump to bottom
Cameron Finucane edited this page Jun 12, 2013 · 1 revision

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
Clone this wiki locally