Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version

Open in new window