{"total":16,"rows":[{"id":"2204.00755","title":"Safe Reinforcement Learning via Shielding under Partial Observability","created":"2022-04-02","cited_by_count":56,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2207.13446","title":"Dynamic Shielding for Reinforcement Learning in Black-Box Environments","created":"2022-07-27","cited_by_count":11,"area":null},{"id":"2205.04424","title":"Accelerated Reinforcement Learning for Temporal Logic Control Objectives","created":"2022-05-09","cited_by_count":9,"area":null},{"id":"2202.09644","title":"Multi-task Safe Reinforcement Learning for Navigating Intersections in Dense Traffic","created":"2022-02-19","cited_by_count":8,"area":null},{"id":"2107.04538","title":"Learning Interaction-aware Guidance Policies for Motion Planning in Dense Traffic Scenarios","created":"2021-07-09","cited_by_count":7,"area":null},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2212.05337","title":"Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking","created":"2022-12-10","cited_by_count":5,"area":null},{"id":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","cited_by_count":5,"area":null},{"id":"2112.07569","title":"Cooperation for Scalable Supervision of Autonomy in Mixed Traffic","created":"2021-12-14","cited_by_count":4,"area":null},{"id":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2501.03187","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","created":"2025-01-06","cited_by_count":3,"area":null},{"id":"2111.04865","title":"On Assessing The Safety of Reinforcement Learning algorithms Using Formal Methods","created":"2021-11-08","cited_by_count":2,"area":null},{"id":"2403.15916","title":"Multi-agent transformer-accelerated RL for satisfaction of STL specifications","created":"2024-03-23","cited_by_count":1,"area":null},{"id":"2311.10863","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks","created":"2023-11-17","cited_by_count":0,"area":null},{"id":"2407.04343","title":"Enhancing Safety for Autonomous Agents in Partly Concealed Urban Traffic Environments Through Representation-Based Shielding","created":"2024-07-05","cited_by_count":0,"area":null}],"next_cursor":null}