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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE robotics and automation letters Jg. 10; H. 9; S. 9240 - 9247
Hauptverfasser:	Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk, Leung, Karen
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Piscataway IEEE 01.09.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!