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.
Continuous-time gaussian process motion planning via probabilistic inference
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.