17 citations · 17 across the 2 of their papers we have counts for
1 paper · 1 filter
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…