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žené v:

Podrobná bibliografia
Vydané v:	IEEE robotics and automation letters Ročník 10; číslo 9; s. 9240 - 9247
Hlavní autori:	Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk, Leung, Karen
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Piscataway IEEE 01.09.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!