KTH-SML / ltl_automaton_core

7 stars 4 forks source link

Timestamp check #25

Closed RBinsonB closed 3 years ago

RBinsonB commented 3 years ago

Now check for timestamp before accepting a received TS state. Allow for repeating TS state in a better way than the previous parameter "allow_for_repeating_state_in_plan" and solves the issue of the repeating state at init when getting initial state from agent.