This volume of Logical Methods in Computer Science contains five papers as extended versions of papers presented at the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013). The conference took place in Buenos Aires, Argentina, in August 2013, and its proceedings were published as Springer Lecture Notes in Computer Science, vol. 8054.

After the conference, the authors of the most highly ranked papers were invited to submit an extended version of their work for a special issue of LMCS. In the sequel, a lot of extra work was invested in order to improve and augment the papers contained in this volume. While the themes of the articles collected here do not span the entire thematic range of QEST, they represent current hot topics of the research community.

We would like to cordially thank all authors for extending their conference papers and submitting them to this special issue. Special thanks goes to all reviewers who invested a lot of time and effort into this publication project. Their insightful comments were extremely valuable and helped to produce the final papers of excellent quality. Last but not least, we would also like to thank the team of LMCS for their help and support.