{"total":14,"rows":[{"id":"2110.02792","title":"Hierarchical Potential-based Reward Shaping from Task Specifications","created":"2021-10-06","cited_by_count":7,"area":null},{"id":"2110.10729","title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees","created":"2021-10-20","cited_by_count":6,"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":"2205.11057","title":"Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits","created":"2022-05-23","cited_by_count":2,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"area":null},{"id":"2310.03999","title":"Runtime Monitoring DNN-Based Perception","created":"2023-10-06","cited_by_count":1,"area":null},{"id":"2311.05084","title":"Signal Temporal Logic-Guided Apprenticeship Learning","created":"2023-11-09","cited_by_count":1,"area":null},{"id":"2411.14367","title":"ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics","created":"2024-11-21","cited_by_count":1,"area":null},{"id":"2210.11259","title":"Safe Policy Improvement in Constrained Markov Decision Processes","created":"2022-10-20","cited_by_count":0,"area":null},{"id":"2409.10562","title":"Natural Adversaries: Fuzzing Autonomous Vehicles with Realistic Roadside Object Placements","created":"2024-09-13","cited_by_count":0,"area":null},{"id":"2508.17786","title":"Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring","created":"2025-08-25","cited_by_count":0,"area":null},{"id":"2512.16855","title":"TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge","created":"2025-12-18","cited_by_count":0,"area":null},{"id":"2601.03038","title":"Validating Generalist Robots with Situation Calculus and STL Falsification","created":"2026-01-06","cited_by_count":0,"area":null},{"id":"2602.05629","title":"ROMAN: Reward-Orchestrated Multi-Head Attention Network for Autonomous Driving System Testing","created":"2026-02-05","cited_by_count":0,"area":null}],"next_cursor":null}