Proceedings of QEST+FORMATS 2026

The proceedings of QEST+FORMATS 2026, edited by Mingshuai Chen and Max Tschaikowski, has been published by Springer. This book proudly presents the proceedings of the joint event for the 23rd International Conference on Quantitative Evaluation of SysTems (QEST 2026) and the 24th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2026), as part of the CONFEST 2026 umbrella conference.