We gratefully acknowledge support from
the Simons Foundation and member institutions.

Matteo Camilli Ph.D. is qualified to endorse.

State Space Exploration of RT Systems in the Cloud

Matteo Camilli Ph.D.: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CY, cs.DC, cs.HC, cs.LO, cs.SC, cs.SE, cs.SI. (why?)

Carlo Bellettini, Lorenzo Capra and Mattia Monga are not registered as owners of this paper. (why?)