Would love to see a wrapped version that lets us do something like this:
$ planutils install nl2ltl
$ nl2ltl --input "At some point you need to either submit a paper or give up." --format spot
Formats could be spot or pddl or whatever. Example of the latter would be...
(:goal <>( (have_image Phenomenon4 thermograph0) && (have_image Star5 thermograph0) && (have_image Phenomenon6 thermograph0))))
...as found in this work.
Would love to see a wrapped version that lets us do something like this:
$ planutils install nl2ltl $ nl2ltl --input "At some point you need to either submit a paper or give up." --format spotFormats could be
spotorpddlor whatever. Example of the latter would be......as found in this work.