Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
DOI10.1007/978-3-662-48899-7_12zbMath1471.68142arXiv1509.04116OpenAlexW2278842702MaRDI QIDQ3460051
Vojtěch Forejt, Jan Křetínský, Jan Krčál
Publication date: 12 January 2016
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1509.04116
Formal languages and automata (68Q45) Markov and semi-Markov decision processes (90C40) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Controller Synthesis for MDPs and Frequency LTL $$_{\setminus \mathbf{G}\mathbf U}$$
