ZonesFrom infinite to finite

State

(n, x=3.2, y=2.5 )

Symbolic state (set)

(n, )

Zone:

conjunction of

x-y<=n, x<=>n

Previous slide

Next slide

Back to first slide

View graphic version