Interval Markov Decision Processes with Continuous Action-Spaces

DOI10.1145/3575870.3587117arXiv2211.01231OpenAlexW4363671540MaRDI QIDQ6202090

Morteza Lahijanian, Manuel jun. Mazo, Giannis Delimpaltadakis, Luca Laurenti

Publication date: 21 February 2024

Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.01231

zbMATH Keywords

control synthesisvalue iterationplanning under uncertaintybounded-parameter Markov decision processesuncertain Markov decision processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Parametric probabilistic transition systems for system design and analysis
• Hybrid switching diffusions. Properties and applications
• Stochastic optimal control. The discrete time case
• Bounded-parameter Markov decision processes
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• Formal Verification and Synthesis for Discrete-Time Stochastic Systems
• A linear max—min problem
• dReal: An SMT Solver for Nonlinear Theories over the Reals
• Robust Control of Markov Decision Processes with Uncertain Transition Matrices
• Convex Analysis
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Hybrid Systems: Computation and Control

This page was built for publication: Interval Markov Decision Processes with Continuous Action-Spaces