Spatiotemporal robustness is formalized as a Pareto-optimal set of spatial-temporal perturbations for temporal logic tasks, with tractable under-approximating semantics and monitoring algorithms.
In: 2019 18th European control conference (ECC)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Introduces PAC controlled safety invariant sets for black-box discrete-time systems and computes them via barrier functions plus scenario optimization reduced to linear programming.
citing papers explorer
-
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
Spatiotemporal robustness is formalized as a Pareto-optimal set of spatial-temporal perturbations for temporal logic tasks, with tractable under-approximating semantics and monitoring algorithms.
-
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
Introduces PAC controlled safety invariant sets for black-box discrete-time systems and computes them via barrier functions plus scenario optimization reduced to linear programming.