André Platzer. Logical Analysis of Hybrid Systems - A Complete Answer to a Complexity Challenge. In Martin Kutrib, Nelma Moreira, Rogério Reis, editors, Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Volume 7386 of Lecture Notes in Computer Science, pages 43-49, Springer, 2012. [doi]
Abstract is missing.