{"list":"other","total":53,"rows":[{"id":"1910.09457","title":"Aleatoric and Epistemic Uncertainty in Machine Learning: An Introduction to Concepts and Methods","created":"2019-10-21","cited_by_count":913},{"id":"2002.07080","title":"The Probabilistic Model Checker Storm","created":"2020-02-17","cited_by_count":66},{"id":"1607.03842","title":"Safe Policy Improvement by Minimizing Robust Baseline Regret","created":"2016-07-13","cited_by_count":53},{"id":"2006.09484","title":"Partial Policy Iteration for L1-Robust Markov Decision Processes","created":"2020-06-16","cited_by_count":50},{"id":"1402.2967","title":"Verification of Markov Decision Processes using Learning Algorithms","created":"2014-02-10","cited_by_count":39},{"id":"2212.10439","title":"Policy Gradient in Robust MDPs with Global Convergence Guarantee","created":"2022-12-20","cited_by_count":38},{"id":"1905.04403","title":"PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games","created":"2019-05-10","cited_by_count":32},{"id":"2301.13589","title":"Policy Gradient for Rectangular Robust Markov Decision Processes","created":"2023-01-31","cited_by_count":31},{"id":"2102.05762","title":"Risk-Averse Bayes-Adaptive Reinforcement Learning","created":"2021-02-10","cited_by_count":29},{"id":"2009.11459","title":"Robust Finite-State Controllers for Uncertain POMDPs","created":"2020-09-24","cited_by_count":24},{"id":"2101.07491","title":"Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey","created":"2021-01-19","cited_by_count":20},{"id":"2111.12679","title":"On the (In)Tractability of Reinforcement Learning for LTL Objectives","created":"2021-11-24","cited_by_count":18},{"id":"2205.15827","title":"Robust Anytime Learning of Markov Decision Processes","created":"2022-05-31","cited_by_count":16},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16},{"id":"1906.05988","title":"Distributionally Robust Partially Observable Markov Decision Process with Moment-based Ambiguity","created":"2019-06-14","cited_by_count":15},{"id":"1903.07993","title":"Parameter Synthesis for Markov Models: Covering the Parameter Space","created":"2019-03-16","cited_by_count":14},{"id":"1405.4733","title":"Multiple-Environment Markov Decision Processes","created":"2014-05-19","cited_by_count":13},{"id":"1901.10287","title":"StocHy: automated verification and synthesis of stochastic processes","created":"2019-01-29","cited_by_count":13},{"id":"2302.00036","title":"Reducing Blackwell and Average Optimality to Discounted MDPs via the Blackwell Discount Factor","created":"2023-01-31","cited_by_count":13},{"id":"2312.03618","title":"Beyond discounted returns: Robust Markov decision processes with average and Blackwell optimality","created":"2023-12-06","cited_by_count":13},{"id":"1602.05113","title":"Parameter Synthesis for Markov Models: Faster Than Ever","created":"2016-02-16","cited_by_count":12},{"id":"2301.04939","title":"Safe Policy Improvement for POMDPs via Finite-State Controllers","created":"2023-01-12","cited_by_count":12},{"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},{"id":"1803.02884","title":"Synthesis in pMDPs: A Tale of 1001 Parameters","created":"2018-03-05","cited_by_count":10},{"id":"2009.13128","title":"The Complexity of Reachability in Parametric Markov Decision Processes","created":"2020-09-28","cited_by_count":10},{"id":"2012.04626","title":"Minimax Regret Optimisation for Robust Planning in Uncertain Markov Decision Processes","created":"2020-12-08","cited_by_count":10},{"id":"2207.06801","title":"Parameter Synthesis in Markov Models: A Gentle Survey","created":"2022-07-14","cited_by_count":10},{"id":"2301.10197","title":"A Practitioner's Guide to MDP Model Checking Algorithms","created":"2023-01-24","cited_by_count":10},{"id":"2312.13912","title":"Solving Long-run Average Reward Robust MDPs via Stochastic Games","created":"2023-12-21","cited_by_count":10},{"id":"1504.05739","title":"Faster Statistical Model Checking for Unbounded Temporal Properties","created":"2015-04-22","cited_by_count":9},{"id":"2303.05848","title":"Decision-Making Under Uncertainty: Beyond Probabilities","created":"2023-03-10","cited_by_count":9},{"id":"2305.07958","title":"More for Less: Safe Policy Improvement With Stronger Performance Guarantees","created":"2023-05-13","cited_by_count":9},{"id":"1910.01100","title":"Optimistic Value Iteration","created":"2019-10-02","cited_by_count":8},{"id":"2107.00108","title":"Convex Optimization for Parameter Synthesis in MDPs","created":"2021-06-30","cited_by_count":8},{"id":"2112.13020","title":"Scenario-Based Verification of Uncertain Parametric MDPs","created":"2021-12-24","cited_by_count":8},{"id":"2210.14640","title":"HSVI can solve zero-sum Partially Observable Stochastic Games","created":"2022-10-26","cited_by_count":8},{"id":"2309.01107","title":"Solving Non-Rectangular Reward-Robust MDPs via Frequency Regularization","created":"2023-09-03","cited_by_count":8},{"id":"2206.14402","title":"Constructing MDP Abstractions Using Data with Formal Guarantees","created":"2022-06-29","cited_by_count":7},{"id":"2405.04941","title":"Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs","created":"2024-05-08","cited_by_count":7},{"id":"2408.08770","title":"Pessimistic Iterative Planning with RNNs for Robust POMDPs","created":"2024-08-16","cited_by_count":7},{"id":"1702.00063","title":"Sequential Convex Programming for the Efficient Verification of Parametric MDPs","created":"2017-01-26","cited_by_count":6},{"id":"1804.05001","title":"Sound Value Iteration","created":"2018-04-13","cited_by_count":6},{"id":"1912.11223","title":"Scenario-Based Verification of Uncertain MDPs","created":"2019-12-24","cited_by_count":6},{"id":"2205.08300","title":"Sampling-Based Verification of CTMCs with Uncertain Rates","created":"2022-05-17","cited_by_count":5},{"id":"2301.11296","title":"Robust Almost-Sure Reachability in Multi-Environment MDPs","created":"2023-01-26","cited_by_count":5},{"id":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5},{"id":"2312.06344","title":"Learning Robust Policies for Uncertain Parametric Markov Decision Processes","created":"2023-12-11","cited_by_count":4},{"id":"2401.03555","title":"IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems","created":"2024-01-07","cited_by_count":3},{"id":"2404.08344","title":"Data-driven Interval MDP for Robust Control Synthesis","created":"2024-04-12","cited_by_count":3},{"id":"2407.07006","title":"A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs","created":"2024-07-09","cited_by_count":3},{"id":"2404.00940","title":"Sequential Decision-Making under Uncertainty: A Robust MDPs review","created":"2024-04-01","cited_by_count":2},{"id":"1806.05126","title":"Parameter-Independent Strategies for pMDPs via POMDPs","created":"2018-06-13","cited_by_count":1},{"id":"2405.13583","title":"Tools at the Frontiers of Quantitative Verification","created":"2024-05-22","cited_by_count":1}],"next_cursor":null}