{"total":11,"rows":[{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"area":null},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23,"area":null},{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"area":null},{"id":"2208.14426","title":"Correct-by-Construction Runtime Enforcement in AI -- A Survey","created":"2022-08-30","cited_by_count":12,"area":null},{"id":"2112.11490","title":"Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding","created":"2021-12-21","cited_by_count":9,"area":null},{"id":"2212.01838","title":"Automata Learning meets Shielding","created":"2022-12-04","cited_by_count":9,"area":null},{"id":"2202.09516","title":"Learning a Shield from Catastrophic Action Effects: Never Repeat the Same Mistake","created":"2022-02-19","cited_by_count":5,"area":null},{"id":"2308.00707","title":"Approximate Model-Based Shielding for Safe Reinforcement Learning","created":"2023-07-27","cited_by_count":5,"area":null},{"id":"2304.11104","title":"Approximate Shielding of Atari Agents for Safe Exploration","created":"2023-04-21","cited_by_count":2,"area":null},{"id":"2312.11314","title":"Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2306.14816","title":"Experiments with Detecting and Mitigating AI Deception","created":"2023-06-26","cited_by_count":0,"area":null}],"next_cursor":null}