{"total":18,"rows":[{"id":"2411.11451","title":"Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet","created":"2024-11-18","cited_by_count":18,"area":null},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"area":null},{"id":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"area":null},{"id":"2210.05989","title":"Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty","created":"2022-10-12","cited_by_count":11,"area":null},{"id":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9,"area":null},{"id":"2403.10497","title":"Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings","created":"2024-03-15","cited_by_count":9,"area":null},{"id":"2103.02398","title":"Correct-by-construction reach-avoid control of partially observable linear stochastic systems","created":"2021-03-03","cited_by_count":5,"area":null},{"id":"2211.01231","title":"Interval Markov Decision Processes with Continuous Action-Spaces","created":"2022-11-02","cited_by_count":3,"area":null},{"id":"2302.04018","title":"A Survey on Event Prediction Methods from a Systems Perspective: Bringing Together Disparate Research Areas","created":"2023-02-08","cited_by_count":2,"area":null},{"id":"2212.00679","title":"Formal Controller Synthesis for Markov Jump Linear Systems with Uncertain Dynamics","created":"2022-12-01","cited_by_count":1,"area":null},{"id":"2506.16971","title":"Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)","created":"2025-06-20","cited_by_count":1,"area":null},{"id":"2311.09786","title":"Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions","created":"2023-11-16","cited_by_count":0,"area":null},{"id":"2507.02942","title":"Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives","created":"2025-06-27","cited_by_count":0,"area":null},{"id":"2511.18103","title":"Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach","created":"2025-11-22","cited_by_count":0,"area":null},{"id":"2512.18389","title":"Neural Proofs for Sound Verification and Control of Complex Systems","created":"2025-12-20","cited_by_count":0,"area":null},{"id":"2601.12002","title":"Kernel-Based Learning of Safety Barriers","created":"2026-01-17","cited_by_count":0,"area":null},{"id":"2604.20728","title":"Interval POMDP Shielding for Imperfect-Perception Agents","created":"2026-04-22","cited_by_count":0,"area":null},{"id":"2605.06087","title":"Safety Certification is Classification","created":"2026-05-07","cited_by_count":0,"area":null}],"next_cursor":null}