17 citations · 17 across the 1 of their papers we have counts for
1 paper
Jesse Jiang, Ye Zhao, Samuel Coogan
We study the problem of refining satisfiability bounds for partially-known stochastic systems against planning specifications defined using syntactically co-safe Linear Temporal Lo…