On Frequency LTL in Probabilistic Systems

DOI10.4230/LIPICS.CONCUR.2015.184zbMath1374.68284arXiv1501.05561OpenAlexW1815912087MaRDI 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 chainsMarkov decision processescontroller synthesisLTL

Mathematics Subject Classification ID

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: On Frequency LTL in Probabilistic Systems