Robust control for signal temporal logic specifications using discrete average space robustness

Lars Lindemann, Dimos V. Dimarogonas. Robust control for signal temporal logic specifications using discrete average space robustness. Automatica, 101:377-387, 2019. [doi]

Abstract

Abstract is missing.