added new example for expeditions project
adding two customer.spec. going to change the region to the one built by Cam, Vasu and Spyros
change the spec for multiple orders and one customer now
created specification for two customer, two kinds of food and two kitchen
Merge branch 'development' of https://github.com/LTLMoP/LTLMoP into expeditions_project
modified the spec with two customers and names it two_customer.spec
add configuration with Nao
changed naoSensor for the new format
added new example for expeditions project
adding two customer.spec. going to change the region to the one built by Cam, Vasu and Spyros
change the spec for multiple orders and one customer now
created specification for two customer, two kinds of food and two kitchen
modified the spec with two customers and names it two_customer.spec
add configuration with Nao
changed naoSensor for the new format
Merge branch 'expeditions_project' of github.com:wongkaiweng/LTLMoP into expeditions_project
fixed order_c2 unsynthesizable
examples/expeditions_project/two_customer_video.spec
added create as robot model
fixed merge errors for two_customer_video.spec