;; Automatically produced by rddl.translate.RDDL2Format
(define (domain traffic_pomdp)
(:requirements :adl :probabilistic-effects :rewards)
(:predicates
(occupied__ca3a1)
(occupied__ca1a3)
(occupied__ca3a2)
(occupied__ca2a3)
(occupied__ca3a4)
(occupied__ca4a3)
(occupied__ca3a5)
(occupied__ca5a3)
(occupied__ca3a7)
(occupied__ca7a3)
(occupied__ca3a8)
(occupied__ca8a3)
(occupied__ca6a1)
(occupied__ca1a6)
(occupied__ca6a2)
(occupied__ca2a6)
(occupied__ca6a4)
(occupied__ca4a6)
(occupied__ca6a5)
(occupied__ca5a6)
(occupied__ca6a7)
(occupied__ca7a6)
(occupied__ca6a8)
(occupied__ca8a6)
(light_signal1__ia3a3)
(light_signal1__ia3a6)
(light_signal1__ia6a3)
(light_signal1__ia6a6)
(light_signal2__ia3a3)
(light_signal2__ia3a6)
(light_signal2__ia6a3)
(light_signal2__ia6a6)
)
(:observations
(traffic_at_stopline_EW_obs__ia3a3)
(traffic_at_stopline_EW_obs__ia3a6)
(traffic_at_stopline_EW_obs__ia6a3)
(traffic_at_stopline_EW_obs__ia6a6)
(traffic_at_stopline_NS_obs__ia3a3)
(traffic_at_stopline_NS_obs__ia3a6)
(traffic_at_stopline_NS_obs__ia6a3)
(traffic_at_stopline_NS_obs__ia6a6)
)
(:action advance__ia3a3
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia3a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia3a6___advance__ia6a3
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia3a6___advance__ia6a3___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia3a6___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia6a3
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia6a3___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a3___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (light_signal1__ia3a3))))
(when (and (light_signal2__ia3a3)) (probabilistic 1.0 (light_signal1__ia3a3) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a6___advance__ia6a3
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a6___advance__ia6a3___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia3a6___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (light_signal1__ia3a6))))
(when (and (light_signal2__ia3a6)) (probabilistic 1.0 (light_signal1__ia3a6) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia6a3
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia6a3___advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (light_signal1__ia6a3))))
(when (and (light_signal2__ia6a3)) (probabilistic 1.0 (light_signal1__ia6a3) ))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action advance__ia6a6
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (light_signal1__ia6a6))))
(when (and (light_signal2__ia6a6)) (probabilistic 1.0 (light_signal1__ia6a6) ))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
(:action noop
:effect (and
(when (and (not (occupied__ca3a1))) (probabilistic 0.13438505 (occupied__ca3a1) ))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (not (occupied__ca3a1))))
(when (and (not (occupied__ca1a3))) (probabilistic 0.19248374 (occupied__ca1a3) ))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (not (occupied__ca1a3))))
(when (and (not (occupied__ca3a1)) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (occupied__ca3a1) (not (occupied__ca3a2))) (probabilistic 1.0 (occupied__ca3a2) ))
(when (and (occupied__ca3a1) (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (not (occupied__ca3a2))))
(when (and (not (occupied__ca1a3)) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (occupied__ca1a3) (not (occupied__ca2a3))) (probabilistic 1.0 (occupied__ca2a3) ))
(when (and (occupied__ca1a3) (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (not (occupied__ca2a3))))
(when (and (not (occupied__ca3a2)) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (occupied__ca3a2) (not (occupied__ca3a4)) (light_signal1__ia3a3) (not (light_signal2__ia3a3))) (probabilistic 1.0 (occupied__ca3a4) ))
(when (and (occupied__ca3a2) (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (not (occupied__ca3a4))))
(when (and (not (occupied__ca2a3)) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (occupied__ca2a3) (not (occupied__ca4a3)) (not (light_signal1__ia3a3)) (light_signal2__ia3a3)) (probabilistic 1.0 (occupied__ca4a3) ))
(when (and (occupied__ca2a3) (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (not (occupied__ca4a3))))
(when (and (not (occupied__ca3a4)) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (occupied__ca3a4) (not (occupied__ca3a5))) (probabilistic 1.0 (occupied__ca3a5) ))
(when (and (occupied__ca3a4) (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (not (occupied__ca3a5))))
(when (and (not (occupied__ca4a3)) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (occupied__ca4a3) (not (occupied__ca5a3))) (probabilistic 1.0 (occupied__ca5a3) ))
(when (and (occupied__ca4a3) (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (not (occupied__ca5a3))))
(when (and (not (occupied__ca3a5)) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (occupied__ca3a5) (not (occupied__ca3a7)) (light_signal1__ia3a6) (not (light_signal2__ia3a6))) (probabilistic 1.0 (occupied__ca3a7) ))
(when (and (occupied__ca3a5) (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (not (occupied__ca3a7))))
(when (and (not (occupied__ca5a3)) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (occupied__ca5a3) (not (occupied__ca7a3)) (not (light_signal1__ia6a3)) (light_signal2__ia6a3)) (probabilistic 1.0 (occupied__ca7a3) ))
(when (and (occupied__ca5a3) (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (not (occupied__ca7a3))))
(when (and (not (occupied__ca3a7))) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (occupied__ca3a7) (not (occupied__ca3a8))) (probabilistic 1.0 (occupied__ca3a8) ))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (probabilistic 1.0 (not (occupied__ca3a8))))
(when (and (not (occupied__ca7a3))) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (occupied__ca7a3) (not (occupied__ca8a3))) (probabilistic 1.0 (occupied__ca8a3) ))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (probabilistic 1.0 (not (occupied__ca8a3))))
(when (and (not (occupied__ca6a1))) (probabilistic 0.100880116 (occupied__ca6a1) ))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (not (occupied__ca6a1))))
(when (and (not (occupied__ca1a6))) (probabilistic 0.18894082 (occupied__ca1a6) ))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (not (occupied__ca1a6))))
(when (and (not (occupied__ca6a1)) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (occupied__ca6a1) (not (occupied__ca6a2))) (probabilistic 1.0 (occupied__ca6a2) ))
(when (and (occupied__ca6a1) (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (not (occupied__ca6a2))))
(when (and (not (occupied__ca1a6)) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (occupied__ca1a6) (not (occupied__ca2a6))) (probabilistic 1.0 (occupied__ca2a6) ))
(when (and (occupied__ca1a6) (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (not (occupied__ca2a6))))
(when (and (not (occupied__ca6a2)) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (occupied__ca6a2) (not (occupied__ca6a4)) (light_signal1__ia6a3) (not (light_signal2__ia6a3))) (probabilistic 1.0 (occupied__ca6a4) ))
(when (and (occupied__ca6a2) (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (not (occupied__ca6a4))))
(when (and (not (occupied__ca2a6)) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (occupied__ca2a6) (not (occupied__ca4a6)) (not (light_signal1__ia3a6)) (light_signal2__ia3a6)) (probabilistic 1.0 (occupied__ca4a6) ))
(when (and (occupied__ca2a6) (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (not (occupied__ca4a6))))
(when (and (not (occupied__ca6a4)) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (occupied__ca6a4) (not (occupied__ca6a5))) (probabilistic 1.0 (occupied__ca6a5) ))
(when (and (occupied__ca6a4) (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (not (occupied__ca6a5))))
(when (and (not (occupied__ca4a6)) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (occupied__ca4a6) (not (occupied__ca5a6))) (probabilistic 1.0 (occupied__ca5a6) ))
(when (and (occupied__ca4a6) (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (not (occupied__ca5a6))))
(when (and (not (occupied__ca6a5)) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (occupied__ca6a5) (not (occupied__ca6a7)) (light_signal1__ia6a6) (not (light_signal2__ia6a6))) (probabilistic 1.0 (occupied__ca6a7) ))
(when (and (occupied__ca6a5) (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (not (occupied__ca6a7))))
(when (and (not (occupied__ca5a6)) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (occupied__ca5a6) (not (occupied__ca7a6)) (not (light_signal1__ia6a6)) (light_signal2__ia6a6)) (probabilistic 1.0 (occupied__ca7a6) ))
(when (and (occupied__ca5a6) (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (not (occupied__ca7a6))))
(when (and (not (occupied__ca6a7))) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (occupied__ca6a7) (not (occupied__ca6a8))) (probabilistic 1.0 (occupied__ca6a8) ))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (probabilistic 1.0 (not (occupied__ca6a8))))
(when (and (not (occupied__ca7a6))) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (occupied__ca7a6) (not (occupied__ca8a6))) (probabilistic 1.0 (occupied__ca8a6) ))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (probabilistic 1.0 (not (occupied__ca8a6))))
(when (and (not (light_signal1__ia3a3))) (probabilistic 1.0 (light_signal2__ia3a3) ))
(when (and (light_signal1__ia3a3)) (probabilistic 1.0 (not (light_signal2__ia3a3))))
(when (and (not (light_signal1__ia3a6))) (probabilistic 1.0 (light_signal2__ia3a6) ))
(when (and (light_signal1__ia3a6)) (probabilistic 1.0 (not (light_signal2__ia3a6))))
(when (and (not (light_signal1__ia6a3))) (probabilistic 1.0 (light_signal2__ia6a3) ))
(when (and (light_signal1__ia6a3)) (probabilistic 1.0 (not (light_signal2__ia6a3))))
(when (and (not (light_signal1__ia6a6))) (probabilistic 1.0 (light_signal2__ia6a6) ))
(when (and (light_signal1__ia6a6)) (probabilistic 1.0 (not (light_signal2__ia6a6))))
; Reward
(when (and (occupied__ca3a1) (occupied__ca3a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a3) (occupied__ca2a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a2) (occupied__ca3a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a3) (occupied__ca4a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a4) (occupied__ca3a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a3) (occupied__ca5a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a5) (occupied__ca3a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a3) (occupied__ca7a3)) (decrease (reward) 1.0))
(when (and (occupied__ca3a7) (occupied__ca3a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a3) (occupied__ca8a3)) (decrease (reward) 1.0))
(when (and (occupied__ca6a1) (occupied__ca6a2)) (decrease (reward) 1.0))
(when (and (occupied__ca1a6) (occupied__ca2a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a2) (occupied__ca6a4)) (decrease (reward) 1.0))
(when (and (occupied__ca2a6) (occupied__ca4a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a4) (occupied__ca6a5)) (decrease (reward) 1.0))
(when (and (occupied__ca4a6) (occupied__ca5a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a5) (occupied__ca6a7)) (decrease (reward) 1.0))
(when (and (occupied__ca5a6) (occupied__ca7a6)) (decrease (reward) 1.0))
(when (and (occupied__ca6a7) (occupied__ca6a8)) (decrease (reward) 1.0))
(when (and (occupied__ca7a6) (occupied__ca8a6)) (decrease (reward) 1.0))
)
:observation (and
(when (and (not (occupied__ca3a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a3))))
(when (and (occupied__ca3a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a3) ))
(when (and (not (occupied__ca3a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia3a6))))
(when (and (occupied__ca3a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia3a6) ))
(when (and (not (occupied__ca6a2))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a3))))
(when (and (occupied__ca6a2)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a3) ))
(when (and (not (occupied__ca6a5))) (probabilistic 1.0 (not (traffic_at_stopline_EW_obs__ia6a6))))
(when (and (occupied__ca6a5)) (probabilistic 1.0 (traffic_at_stopline_EW_obs__ia6a6) ))
(when (and (not (occupied__ca2a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a3))))
(when (and (occupied__ca2a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a3) ))
(when (and (not (occupied__ca2a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia3a6))))
(when (and (occupied__ca2a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia3a6) ))
(when (and (not (occupied__ca5a3))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a3))))
(when (and (occupied__ca5a3)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a3) ))
(when (and (not (occupied__ca5a6))) (probabilistic 1.0 (not (traffic_at_stopline_NS_obs__ia6a6))))
(when (and (occupied__ca5a6)) (probabilistic 1.0 (traffic_at_stopline_NS_obs__ia6a6) ))
)
)
)
(define (problem traffic_inst_pomdp__1)
(:domain traffic_pomdp)
(:init
(occupied__ca3a1)
(occupied__ca4a3)
(occupied__ca3a7)
(occupied__ca6a1)
(occupied__ca1a6)
(occupied__ca6a2)
(occupied__ca2a6)
(occupied__ca5a6)
(occupied__ca7a6)
)
(:metric maximize (reward))
;; (:horizon 40)
;; (:discount 1.0)
)