On Frequency LTL in Probabilistic Systems

DOI10.4230/LIPIcs.CONCUR.2015.184zbMath1374.68284arXiv1501.05561MaRDI QIDQ5357703

Vojtěch Forejt, Jan Krčál

Publication date: 12 September 2017

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

zbMATH Keywords

Markov chains; Markov decision processes; controller synthesis; LTL

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

03B44: Temporal logic

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)