@Inbook{Mari_etal2012, author="Mari, Federico and Melatti, Igor and Salvo, Ivano and Tronci, Enrico", editor="Roychoudhury, A. and D{\textquoteright}Souza, M.", title="Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems", bookTitle="Theoretical Aspects of Computing -- ICTAC 2012", series="Lecture Notes in Computer Science", year="2012", publisher="Springer Berlin Heidelberg", volume="7521", pages="243--258", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=99), last updated on Fri, 23 Nov 2012 18:15:42 +0100", isbn="978-3-642-32942-5", doi="10.1007/978-3-642-32943-2_19", opturl="https://doi.org/10.1007/978-3-642-32943-2_19", file=":http://mclab.di.uniroma1.it/publications/papers/mari/2012/99_Mari_etal2012.pdf:PDF" }