Frage zu Artikel "Formal Methods for Discrete-Time Dynamical.."