Dynamically generating preconditions to confront threats

(at TRUCK A)

(fuel FULL)

(in GLASS TRUCK)

(not (broken GLASS))

(at TRUCK B)

(not(broken GLASS))

(travel A B FULL)

(at TRUCK A)

(fuel FULL)

(not (in GLASS TRUCK))

(at TRUCK B)

Previous slide

Next slide

Back to first slide

View graphic version