On-Line Monitoring for Temporal Logic Robustness

1. 2021Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specificationscited by 10
2. 2024Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learningcited by 10
3. 2021Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guaranteescited by 6
4. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Networkcited by 4
5. 2021Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networkscited by 3
6. 2023Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logiccited by 3
7. 2023Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guaranteescited by 2
8. 2021Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specificationscited by 1
9. 2026Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraintscited by 1
10. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoningcited by 1
11. 2021Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systemscited by 0
12. 2024Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraintscited by 0

1. 2026Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations13 May 2026
2. 2026Specification-Aware Distribution Shaping for Robotics Foundation Models18 Mar 2026
3. 2026Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints17 Mar 2026
4. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning28 Jan 2026
5. 2025Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning9 Oct 2025
6. 2024Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints16 Sep 2024
7. 2024Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning27 Feb 2024
8. 2023Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees4 Dec 2023
9. 2023Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic26 Oct 2023
10. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network15 Apr 2022
11. 2021Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees20 Oct 2021
12. 2021Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications27 Sep 2021

1. 2024Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraintscited by 0

1. 2024Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints16 Sep 2024

1. 2024Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learningcited by 10

1. 2024Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning27 Feb 2024

1. 2021Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specificationscited by 10
2. 2021Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guaranteescited by 6
3. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Networkcited by 4
4. 2021Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networkscited by 3
5. 2023Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logiccited by 3
6. 2023Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guaranteescited by 2
7. 2021Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specificationscited by 1
8. 2026Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraintscited by 1
9. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoningcited by 1
10. 2021Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systemscited by 0
11. 2025Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learningcited by 0
12. 2026Specification-Aware Distribution Shaping for Robotics Foundation Modelscited by 0

12 most cited of 13 · All 13 (JSON)

1. 2026Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations13 May 2026
2. 2026Specification-Aware Distribution Shaping for Robotics Foundation Models18 Mar 2026
3. 2026Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints17 Mar 2026
4. 2026Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning28 Jan 2026
5. 2025Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning9 Oct 2025
6. 2023Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees4 Dec 2023
7. 2023Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic26 Oct 2023
8. 2022Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network15 Apr 2022
9. 2021Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees20 Oct 2021
10. 2021Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications27 Sep 2021
11. 2021Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications3 Aug 2021
12. 2021Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks29 Mar 2021

12 newest of 13 · All 13 (JSON)