Discrete Abstraction of Multiaffine Systems

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

Abstract is missing.