A
I
_
P
lanning_
L
anguages_
S
emantics Dependents
2020
Verified SAT-Based AI Planning
by
Mohammad Abdulaziz
and
Friedrich Kurz
Oct 29