Continuous-time Markov decisions based on partial exploration

DOI10.1007/978-3-030-01090-4_19zbMath1517.68220arXiv1807.09641MaRDI QIDQ6109595

Holger Hermanns, Jan Křetínský, Yuliya Butkova, Pranav Ashok

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Markov automata with multiple objectives ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Continuous-time Markov decisions based on partial exploration