1 paper · 1 filter
Mohammad H. Mamduhi, Sadegh Soudjani
This paper studies satisfying temporal logic specifications on stochastic dynamical systems, where the predicates evolve randomly over time. Such randomness may arise from uncertai…