Safe Planning Through Incremental Decomposition of Signal Temporal Logic Specifications
- 26 May 2024
- book chapter
- Published by Springer Nature
- p. 377-396
Abstract
No abstract availableKeywords
All Related Versions
This publication has 18 references indexed in Scilit:
- Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition2023
- Rewrite-Based Decomposition of Signal Temporal Logic Specifications2023
- Follow The Rules: Online Signal Temporal Logic Tree Search for Guided Imitation Learning in Stochastic Domains2023
- Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary VariablesIEEE Control Systems Letters, 2022
- Structured Reward Shaping using Signal Temporal Logic specifications2019
- Control Barrier Functions for Signal Temporal Logic TasksIEEE Control Systems Letters, 2018
- Q-Learning for robust satisfaction of signal temporal logic specifications2016
- Model predictive control with signal temporal logic specifications2014
- Monitoring Temporal Properties of Continuous Signals2004
- The temporal logic of programs1977