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

Sleiman Safaoui and Iman Shames are qualified to endorse.

Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems

Sleiman Safaoui: Is registered as an author of this paper.
Can endorse for cs.FL, cs.RO, cs.SY, eess.SY. (why?)
Iman Shames: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CR, cs.DC, cs.DM, cs.FL, cs.GT, cs.LG, cs.LO, cs.RO, cs.SI, cs.SY, eess.SP, eess.SY, math.DS, math.NA, math.OC, math.PR, stat.ME, stat.ML. (why?)

Lars Lindemann and Tyler H. Summers are not registered as owners of this paper. (why?)