\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Mari et~al.}(2012){Mari, Melatti, Salvo \& Tronci}]{Mari_etal2012} Federico Mari, Igor Melatti, Ivano Salvo, and Enrico Tronci. "Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems." In \textit{Theoretical Aspects of Computing -- ICTAC 2012}, edited by A. Roychoudhury and M. D{\textquoteright}Souza, 243--258. Lecture Notes in Computer Science 7521. Springer Berlin Heidelberg, 2012. ISBN: 978-3-642-32942-5. DOI: 10.1007/978-3-642-32943-2_19.

\end{thebibliography}

