{"total":23,"rows":[{"id":"2205.06750","title":"Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking","created":"2022-05-13","cited_by_count":34,"area":null},{"id":"2303.10650","title":"Logic of Differentiable Logics: Towards a Uniform Semantics of DL","created":"2023-03-19","cited_by_count":15,"area":null},{"id":"2109.13377","title":"Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications","created":"2021-09-27","cited_by_count":10,"area":null},{"id":"2405.00532","title":"ULLER: A Unified Language for Learning and Reasoning","created":"2024-05-01","cited_by_count":9,"area":null},{"id":"2405.06670","title":"TLINet: Differentiable Neural Network Temporal Logic Inference","created":"2024-05-03","cited_by_count":9,"area":null},{"id":"2304.06160","title":"Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet","created":"2023-04-12","cited_by_count":6,"area":null},{"id":"2104.01503","title":"STL Robustness Risk over Discrete-Time Stochastic Processes","created":"2021-04-03","cited_by_count":4,"area":null},{"id":"2204.07579","title":"Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network","created":"2022-04-15","cited_by_count":4,"area":null},{"id":"2212.01022","title":"STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning","created":"2022-12-02","cited_by_count":4,"area":null},{"id":"2103.15938","title":"Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks","created":"2021-03-29","cited_by_count":3,"area":null},{"id":"2209.07881","title":"Model Predictive Robustness of Signal Temporal Logic Predicates","created":"2022-09-16","cited_by_count":3,"area":null},{"id":"2310.20493","title":"Requirement falsification for cyber-physical systems using generative models","created":"2023-10-31","cited_by_count":3,"area":null},{"id":"2104.02737","title":"Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications","created":"2021-04-06","cited_by_count":2,"area":null},{"id":"2207.06741","title":"Differentiable Logics for Neural Network Training and Verification","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2311.02099","title":"A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles","created":"2023-10-30","cited_by_count":1,"area":null},{"id":"2311.09809","title":"Comparing Differentiable Logics for Learning Systems: A Research Preview","created":"2023-11-16","cited_by_count":1,"area":null},{"id":"2505.00466","title":"A General Framework for Property-Driven Machine Learning","created":"2025-05-01","cited_by_count":1,"area":null},{"id":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2512.06973","title":"Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet","created":"2025-12-07","cited_by_count":0,"area":null},{"id":"2605.13845","title":"Quantitative Linear Logic for Neuro-Symbolic Learning and Verification","created":"2026-05-13","cited_by_count":0,"area":null},{"id":"2606.31494","title":"Robustness of Robotic Manipulation: Foundations and Frontiers","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2608.17087","title":"Backward through Time, Algebraically","created":"2026-08-17","cited_by_count":0,"area":null}],"next_cursor":null}