Optimal deterministic controller synthesis from steady-state distributions

DOI10.1007/s10817-022-09657-9MaRDI QIDQ6156635

Alvaro Velasquez, K. Subramani and Vahan Mkrtchyan, George K. Atia, Piotr J. Wojciechowski, Ismail Alkhouri

Publication date: 14 June 2023

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

optimal controlMarkov decision processesNP-completelinear temporal logicautonomous system

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An online actor-critic algorithm with function approximation for constrained Markov decision processes
• Tiling simply connected regions with rectangles
• Optimal flow control of a class of queueing networks in equilibrium
• Markov Decision Processes with Asymptotic Average Failure Rate Constraint
• Multi-Objective Model Checking of Markov Decision Processes
• Markov Chains
• The complexity of probabilistic verification
• Non-ergodic Markov decision processes with a constraint on the asymptotic failure rate: general class of policies
• Probabilistic Motion Planning Under Temporal Tasks and Soft Constraints
• Steady-State Planning in Expected Reward Multichain MDPs
• Automated Verification and Strategy Synthesis for Probabilistic Systems
• Finite-State Approximations to Discounted and Average Cost Constrained Markov Decision Processes
• Approximation of average cost Markov decision processes using empirical distributions and concentration inequalities
• Markov Decision Processes with Multiple Long-run Average Objectives
• Achieving Target State-Action Frequencies in Multichain Average-Reward Markov Decision Processes

This page was built for publication: Optimal deterministic controller synthesis from steady-state distributions