Modelling and Verification Analysis of the Predator-Prey System via a Modal Logic Approach.

Zvi Retchkiman Königsberg

Published in: ICSI (1) (2018)

Keyphrases

modal logic
predator prey
data analysis
inference rules
temporal logic
conditional logic
learning algorithm
mobile robot
optimization algorithm