STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification

Signal Temporal Logic (STL) offers a concise yet expressive framework for specifying and reasoning about spatio-temporal behaviors of robotic systems. Attractively, STL admits the notion of robustness , the degree to which an input signal satisfies or violates an STL specification, thus providing a...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE robotics and automation letters Ročník 10; číslo 9; s. 9240 - 9247
Hlavní autoři:	Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk, Leung, Karen
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Piscataway IEEE 01.09.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	Back propagation Deep learning deep learning methods Formal methods in robotics and automation Graphics processing units Libraries Logic Masking Optimization Performance evaluation Python Robotics Robots Robustness Semantics software tools for robot programming Specifications Temporal logic Trajectory optimization Transformers
ISSN:	2377-3766, 2377-3766
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!