search

KTH-SML / ltl_automaton_core

7 stars 4 forks source link

Being able to prohibit actions from states in mixed TS #14

Closed RBinsonB closed 3 years ago

RBinsonB commented 3 years ago

In some cases it could be useful to limit actions from one TS to only a few states of another TS. For example a pick/drop action could only be carried out in some 2D regions.

RBinsonB commented 3 years ago

Being solved by the implementation of guard formulas on action, check commit d052b6ea5cfd50f8c252fa867ee36198969efe12

I leave the issue open until documentation has been updated.

RBinsonB commented 3 years ago

Documentation has been updated