{"id":"arxiv/2605.09445","url":"https://arxiv.org/abs/2605.09445","tags":["math.OC","cs.LO","eess.SY"],"score":0,"title":"Barrier Certificates for Uncertain Temporal Specifications","domain":"math.OC","source":"arxiv","authors":["Mohammad H. Mamduhi","Sadegh Soudjani"],"reviews":0,"subject":"math.OC","summary":"This paper studies satisfying temporal logic specifications on stochastic dynamical systems, where the predicates evolve randomly over time. Such randomness may arise from uncertain environment models or external stochastic processes causing the sets associated with predicate satisfaction to vary in a non-deterministic manner. As a result, verifying whether a stochastic dynamical system satisfies a temporal specification depends also on the uncertainty in the predicates. We develop a certificate-based framework to bound the probability of satisfying temporal logic specifications with…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-10","reactions":{}}