Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling. Discrete Abstraction of Multiaffine Systems. In Eugenio Cinquemani, Alexandre Donzé, editors, Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings. Volume 9957 of Lecture Notes in Computer Science, pages 128-144, 2016. [doi]
Abstract is missing.