A predicate-erosion framework using contraction-based probabilistic reachable tubes turns chance-constrained STL planning for stochastic nonlinear systems into deterministic trajectory optimization that achieves high-probability specification satisfaction.
Robust model predictive control for signal temporal logic synthesis
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1