no code implementations • 3 Feb 2022 • 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 Logic (scLTL).