This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deployment challenges.
Adam Pacheck and Hadas Kress-Gazit
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.RO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Temporal logics and formal synthesis for robot planning and control
This survey presents temporal logics as expressive specification languages and outlines formal synthesis techniques from discrete to continuous methods for robot planning and control, while noting real-world deployment challenges.