When you stop

• When state s ceases

  • For each modality variable vi
  • s.t. *vi = Holds(s, ti)
    • Set vi to nil
  • Move NOW
  • Believe each ti is before *NOW.

Previous slide

Next slide

Back to first slide

View graphic version