9 citations · 26 across the 11 of their papers we have counts for
1 paper · 2 filters
Jonathan A. DeCastro, Ruediger Ehlers, Matthias Rungger +3
The aim of this work is to address issues where formal specifications cannot be realized on a given dynamical system subjected to a changing environment. Such failures occur whenev…