Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications

1. 2024A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approachescited by 19
2. 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classificationcited by 10
3. 2021Safety of the Intended Driving Behavior Using Rulebookscited by 8
4. 2022Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Modelscited by 7
5. 2023Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNetcited by 6
6. 2025STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specificationcited by 6
7. 2021STL Robustness Risk over Discrete-Time Stochastic Processescited by 4
8. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Networkcited by 4
9. 2022STL-Based Synthesis of Feedback Controllers Using Reinforcement Learningcited by 4
10. 2022Model Predictive Robustness of Signal Temporal Logic Predicatescited by 3
11. 2021Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specificationscited by 2
12. 2021Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contextscited by 2

1. 2026Reward Machines for Signal Temporal Logic13 Aug 2026
2. 2026GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning31 Mar 2026
3. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning28 Jan 2026
4. 2025Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet7 Dec 2025
5. 2025STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification8 Jan 2025
6. 2024Autonomous Vehicles Path Planning under Temporal Logic Specifications10 Oct 2024
7. 2024Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems24 Jun 2024
8. 2024A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches3 Apr 2024
9. 2023Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet12 Apr 2023
10. 2022Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks10 Dec 2022
11. 2022STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning2 Dec 2022
12. 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classification4 Oct 2022

1. 2024Autonomous Vehicles Path Planning under Temporal Logic Specificationscited by 0

1. 2024Autonomous Vehicles Path Planning under Temporal Logic Specifications10 Oct 2024

1. 2026GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learningcited by 0

1. 2026GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning31 Mar 2026

1. 2024A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approachescited by 19
2. 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classificationcited by 10
3. 2021Safety of the Intended Driving Behavior Using Rulebookscited by 8
4. 2022Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Modelscited by 7
5. 2023Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNetcited by 6
6. 2025STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specificationcited by 6
7. 2021STL Robustness Risk over Discrete-Time Stochastic Processescited by 4
8. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Networkcited by 4
9. 2022STL-Based Synthesis of Feedback Controllers Using Reinforcement Learningcited by 4
10. 2022Model Predictive Robustness of Signal Temporal Logic Predicatescited by 3
11. 2021Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specificationscited by 2
12. 2021Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contextscited by 2

12 most cited of 17 · All 17 (JSON)

1. 2026Reward Machines for Signal Temporal Logic13 Aug 2026
2. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning28 Jan 2026
3. 2025Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet7 Dec 2025
4. 2025STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification8 Jan 2025
5. 2024Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems24 Jun 2024
6. 2024A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches3 Apr 2024
7. 2023Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet12 Apr 2023
8. 2022Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks10 Dec 2022
9. 2022STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning2 Dec 2022
10. 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classification4 Oct 2022
11. 2022Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models20 Sep 2022
12. 2022Model Predictive Robustness of Signal Temporal Logic Predicates16 Sep 2022

12 newest of 17 · All 17 (JSON)