Reductions

• Local Reduction:

  • Shortest Path Reduction

• Global Reduction:

  • Partial investigation of state space
    • [RTSS97]
    • [Bengtsson, Jonsson, Lilius, Yi CONCUR98]

• Significant space- and time-savings!

C

A

B

D

E

Previous slide

Next slide

Back to first slide

View graphic version