no code implementations • 3 Mar 2014 • Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
In this paper, we show that this problem is in general intractable, but becomes tractable if $\Gamma$ is over a tractable subalgebra $\mathcal{S}$ of a qualitative calculus.