{"total":9,"rows":[{"id":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"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":"2501.03187","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","created":"2025-01-06","cited_by_count":3,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2510.06756","title":"Verifying Memoryless Sequential Decision-making of Large Language Models","created":"2025-10-08","cited_by_count":1,"area":null},{"id":"2512.17470","title":"Translating the Rashomon Effect to Sequential Decision-Making Tasks","created":"2025-12-19","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2606.19632","title":"Formal Verification of Learned Multi-Agent Communication Policies via Decision Tree Distillation","created":"2026-06-17","cited_by_count":0,"area":null},{"id":"2608.30581","title":"Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle","created":"2026-08-31","cited_by_count":0,"area":null}],"next_cursor":null}