SLURP - VerifiableRobotics/LTLMoP GitHub Wiki
SLURP is a language parsing and semantic interpretation pipeline that aims to make it as natural as possible to write task specifications.
Please see the SLURP GitHub page for more information.
- TODO: features, examples