Simplifying to Strips
Difference 1: Transitions can occur w/o control actions.
- tub=empty & faucet=on ? NEXT (tub = non-empty)
Requirement 1:
- Each control variable has an idling assignment.
- No idling assignment appears in any transition.
- The antecedent of every transition includes a non-idling control assignment.