SCHOOL OF COMPUTING Title: Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems Names: Artur Męski, Maciej Koutny, and Wojciech Penczek TECHNICAL REPORT SERIES No. CS-TR- 1526 April 2019