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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE robotics and automation letters Vol. 10; no. 9; pp. 9240 - 9247
Main Authors:	Kapoor, Parv, Mizuta, Kazuki, Kang, Eunsuk, Leung, Karen
Format:	Journal Article
Language:	English
Published:	Piscataway IEEE 01.09.2025 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!