Adding fastslow into development

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

Adding fastslow into development #62

Open wongkaiweng opened 10 years ago

wongkaiweng commented 10 years ago

I have added fastslow and tested it with SLUGS. This version now works for automaton with either normal or instantaneous action. There may be white spaces in some of the .pys but first I want to make sure if I should make any changes.

Let me know if I should add my fastslow examples in.

spmaniato commented 9 years ago

@wongkaiweng This is the "Structured English Fast-slow" functionality that you want us to review, right?