Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods

DOI10.1007/978-3-030-66723-8_26zbMath1469.68127arXiv2008.00097OpenAlexW3164776375MaRDI QIDQ3381991

No author found.

Publication date: 20 September 2021

Published in: Algorithmic Foundations of Robotics XIV (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2008.00097

zbMATH Keywords

robustnessback-propagationcomputation graphsignal temporal logiclogical structure

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Artificial intelligence for robotics (68T40)

Related Items (2)

Poster Abstract: Safety Guaranteed Preference Learning Approach for Autonomous Vehicles ⋮ Survey on mining signal temporal logic specifications

Uses Software

• PyTorch

Cites Work

• Logical clustering and learning for time-series data
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods