added activate sensor and pick object

added ltl generation for pick object option ang activate sensor option