Zvi Retchkiman Konigsberg. Modelling and Verification Analysis of the Predator-Prey System via a First Order Logic Approach. In Ying Tan, Hideyuki Takagi, Yuhui Shi, editors, Advances in Swarm Intelligence - 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 - August 1, 2017, Proceedings, Part I. Volume 10385 of Lecture Notes in Computer Science, pages 22-30, Springer, 2017. [doi]
Abstract is missing.