Differentiable SpaTiaL is the first fully tensorized, end-to-end differentiable symbolic spatio-temporal logic framework that enables gradient-based trajectory optimization and parameter learning for robotic manipulation under geometric and temporal constraints.
A fast procedure for computing the distance between complex objects in three-dimensional space
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1roles
method 1polarities
use method 1representative citing papers
citing papers explorer
-
Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
Differentiable SpaTiaL is the first fully tensorized, end-to-end differentiable symbolic spatio-temporal logic framework that enables gradient-based trajectory optimization and parameter learning for robotic manipulation under geometric and temporal constraints.