```latex
\begin{figure}
\end{figure}
```
@sohl-dicksteinDeepUnsupervisedLearning2015
@bullockHardwareintheloopSimulation2004
@fernandezadiegoApplyingModelChecking2015
@sontagControlLyapunovFunctions1999